"The Best New Programming Language is a Proof Assistant" by Harry Goldstein [video]

https://www.youtube.com/watch?v=c5LOYzZx-0c

1•matt_d•52s ago•0 comments

Runway Game Worlds

https://play.runwayml.com/login

1•devadvance•1m ago•0 comments

Hijacking Windsurf: How Prompt Injection Leaks Developer Secrets

https://embracethered.com/blog/posts/2025/windsurf-data-exfiltration-vulnerabilities/

1•TheAnkurTyagi•1m ago•0 comments

DeepSeek-v3.1 Release

https://api-docs.deepseek.com/news/news250821

1•wertyk•2m ago•0 comments

Inducible genome-wide mutagenesis for improvement of pDNA production

https://microbialcellfactories.biomedcentral.com/articles/10.1186/s12934-025-02821-x

1•PaulHoule•3m ago•0 comments

Reserve (Memory) First

https://matklad.github.io/2025/08/16/reserve-first.html

1•Zen1th•3m ago•0 comments

Stripe Link open source alternative

https://www.stablelink.xyz/

1•Must_be_Ash•4m ago•0 comments

"When Is a Function a Fold, or an Unfold?" – Jeremy Gibbons [video]

https://www.youtube.com/watch?v=ubGgoYszP28

1•matt_d•5m ago•0 comments

Shared Kitchen Summit

https://www.sharedkitchensummit.com

1•mooreds•6m ago•0 comments

What makes a good software engineer?

https://sanitarium.se/blog/2025/08/21/what-makes-a-good-software-engineer/

1•mooreds•7m ago•0 comments

Microsoft says U.S. law takes precedence over Canadian data sovereignty

https://www.digitaljournal.com/tech-science/microsoft-says-u-s-law-takes-precedence-over-canadian-data-sovereignty/article

4•speckx•7m ago•0 comments

Alibaba launches Qoder: an agentic coding platform

https://qoder.com/

2•ascorbic•8m ago•1 comments

Release of G'mic 3.6.0

https://discuss.pixls.us/t/release-of-gmic-3-6/47481

1•dtschump•11m ago•1 comments

Vibe Coding Experiment Failures

https://inventwithpython.com/blog/vibe-coding-failures.html

3•necrodome•14m ago•0 comments

Struggling fusion power company General Fusion gets $22M lifeline from investors

https://techcrunch.com/2025/08/21/struggling-fusion-power-company-general-fusion-gets-22m-lifeline-from-investors/

2•rbanffy•16m ago•0 comments

AI tooling must be disclosed for contributions

https://github.com/ghostty-org/ghostty/pull/8289

22•freetonik•18m ago•5 comments

SinSR: Diffusion-Based Image Super-Resolution in a Single Step

https://github.com/wyf0912/SinSR

1•joebig•18m ago•1 comments

Denmark to abolish VAT on books in effort to get more people reading

https://www.theguardian.com/world/2025/aug/20/denmark-to-abolish-vat-on-books-in-effort-to-get-more-people-reading

4•admp•19m ago•1 comments

Linux Mainline on Arm Chromebooks

https://github.com/hexdump0815/linux-mainline-on-arm-chromebooks

2•transpute•20m ago•0 comments

Dutch pensioner wants age legally changed to improve chances on Tinder (2018)

https://www.standard.co.uk/news/world/pensioner-who-identifies-as-49-wants-age-legally-changed-to-improve-chances-on-tinder-a3984086.html

3•Towaway69•22m ago•0 comments

Sensors Could Permanently Fly in the mesosphere using photophoresis

https://www.universetoday.com/articles/sensors-could-permanently-fly-in-the-ignorosphere-using-novel-propulsion-technique

2•rbanffy•22m ago•0 comments

An 8085 Microprocessor based monitor system for a 750 cc Honda motorcycle (1988)

https://repository.rit.edu/cgi/viewcontent.cgi?article=1672&context=theses

2•hggh•22m ago•0 comments

Washington's new hybrid-electric ferry out of service after motor failure

https://mynorthwest.com/local/washington-hybrid-ferry-wenatchee/4122507

1•sugarpimpdorsey•22m ago•0 comments

Trump Mobile Posts New Image of T1 Phone. Is It Just a Samsung Galaxy Ultra?

https://www.pcmag.com/news/trump-mobile-posts-new-image-of-t1-phone-is-it-just-a-samsung-galaxy-ultra

1•rosaleia000•23m ago•0 comments

We tell on each other: From tattling to whistleblowing – Knowable Magazine

https://knowablemagazine.org/content/article/society/2025/from-snitches-to-whistleblowers-why-we-tell-on-each-other

1•rbanffy•24m ago•0 comments

Evolving the Data Engineering Function at Netflix

https://netflixtechblog.com/from-facts-metrics-to-media-machine-learning-evolving-the-data-engineering-function-at-netflix-6dcc91058d8d

2•MattSayar•25m ago•0 comments

Building AI Products in the Probabilistic Era

https://giansegato.com/essays/probabilistic-era

8•sdan•25m ago•0 comments

CZI Launches RBio: Reasoning Model Trained on Virtual Cell Simulations

https://chanzuckerberg.com/blog/rbio-reasoning-ai-model/

1•epistasis•26m ago•0 comments

The Unbearable Slowness of AI Coding

https://joshuavaldez.com/the-unbearable-slowness-of-ai-coding/

7•aymandfire•28m ago•2 comments

Show HN: Simple Golang Ragserver

https://github.com/RichardKnop/ragserver

2•richardknop•31m ago•0 comments

"The Best New Programming Language is a Proof Assistant" by Harry Goldstein [video]

Runway Game Worlds

Hijacking Windsurf: How Prompt Injection Leaks Developer Secrets

DeepSeek-v3.1 Release

Inducible genome-wide mutagenesis for improvement of pDNA production

Reserve (Memory) First

Stripe Link open source alternative

"When Is a Function a Fold, or an Unfold?" – Jeremy Gibbons [video]

Shared Kitchen Summit

What makes a good software engineer?

Microsoft says U.S. law takes precedence over Canadian data sovereignty

Alibaba launches Qoder: an agentic coding platform

Release of G'mic 3.6.0

Vibe Coding Experiment Failures

Struggling fusion power company General Fusion gets $22M lifeline from investors

AI tooling must be disclosed for contributions

SinSR: Diffusion-Based Image Super-Resolution in a Single Step

Denmark to abolish VAT on books in effort to get more people reading

Linux Mainline on Arm Chromebooks

Dutch pensioner wants age legally changed to improve chances on Tinder (2018)

Sensors Could Permanently Fly in the mesosphere using photophoresis

An 8085 Microprocessor based monitor system for a 750 cc Honda motorcycle (1988)

Washington's new hybrid-electric ferry out of service after motor failure

Trump Mobile Posts New Image of T1 Phone. Is It Just a Samsung Galaxy Ultra?

We tell on each other: From tattling to whistleblowing – Knowable Magazine

Evolving the Data Engineering Function at Netflix

Building AI Products in the Probabilistic Era

CZI Launches RBio: Reasoning Model Trained on Virtual Cell Simulations

The Unbearable Slowness of AI Coding

Show HN: Simple Golang Ragserver

A volunteer-run wildfire site in Portugal stayed online during DDoS attacks

"The Best New Programming Language is a Proof Assistant" by Harry Goldstein [video]

Runway Game Worlds

Hijacking Windsurf: How Prompt Injection Leaks Developer Secrets

DeepSeek-v3.1 Release

Inducible genome-wide mutagenesis for improvement of pDNA production

Reserve (Memory) First

Stripe Link open source alternative

"When Is a Function a Fold, or an Unfold?" – Jeremy Gibbons [video]

Shared Kitchen Summit

What makes a good software engineer?

Microsoft says U.S. law takes precedence over Canadian data sovereignty

Alibaba launches Qoder: an agentic coding platform

Release of G'mic 3.6.0

Vibe Coding Experiment Failures

Struggling fusion power company General Fusion gets $22M lifeline from investors

AI tooling must be disclosed for contributions

SinSR: Diffusion-Based Image Super-Resolution in a Single Step

Denmark to abolish VAT on books in effort to get more people reading

Linux Mainline on Arm Chromebooks

Dutch pensioner wants age legally changed to improve chances on Tinder (2018)

Sensors Could Permanently Fly in the mesosphere using photophoresis

An 8085 Microprocessor based monitor system for a 750 cc Honda motorcycle (1988)

Washington's new hybrid-electric ferry out of service after motor failure

Trump Mobile Posts New Image of T1 Phone. Is It Just a Samsung Galaxy Ultra?

We tell on each other: From tattling to whistleblowing – Knowable Magazine

Evolving the Data Engineering Function at Netflix

Building AI Products in the Probabilistic Era

CZI Launches RBio: Reasoning Model Trained on Virtual Cell Simulations

The Unbearable Slowness of AI Coding

Show HN: Simple Golang Ragserver