fp.

Show HN: Jevopt: Making intelligent compiler optimisation decisions with Jev

https://github.com/Ramneet-Singh/jevopt

1•ramneet_singh•1m ago•0 comments

LeanHTTP: HTTP Client for Lean 4

https://github.com/theoriclabs/leanhttp

2•hargup•3m ago•0 comments

EU moves to curb energy and water for data centres

https://www.euronews.com/my-europe/2026/09/21/eu-moves-to-curb-energy-and-water-for-data-centres

4•billybuckwheat•4m ago•0 comments

An Introduction to Compression-Based Machine Learning

https://arxiv.org/abs/2609.21309

2•jackhurwitz•4m ago•0 comments

Google confirms Gemini models hacked three companies in May 2026

https://arstechnica.com/google/2026/09/google-confirms-gemini-models-hacked-three-companies-in-ma...

3•sbulaev•6m ago•0 comments

Heckle: Converting Git forges into Terraform/OpenTofu

https://heckle.tf

2•_mig5•6m ago•1 comments

Socrates vs. the Written Word (2011)

https://wondermark.com/socrates-vs-writing/

2•spectraldrift•6m ago•0 comments

Show HN: Jev Powered Obsidian Search

https://github.com/Emlembow/jev-graph-search

2•MikeLembo•7m ago•0 comments

Open Animal Stage – mapped animal brains play a strategy game together

https://pr1nted.itch.io/open-animal-stage

1•Pr1nted•7m ago•0 comments

A skills library for every agent

https://www.notion.com/blog/a-skills-library-for-every-agent

1•gmays•8m ago•0 comments

Schelling Points and the Secret Society of Agents

https://jdsemrau.substack.com/p/ai-agents-schelling-point-dsewiki

1•ph4rsikal•8m ago•0 comments

JevOps Engineer

https://www.valency.io/jevops/

1•curtis-jm•10m ago•0 comments

The Softness of Metal

https://psyche.co/turning-points/his-frailty-made-ozzys-final-gig-true-heavy-metal

1•NaOH•14m ago•0 comments

Millions Spent, Few Served: Talkspace Deal for Youth Therapy Falls Short

https://www.proofnews.org/millions-spent-few-served-seattles-talkspace-deal-for-youth-therapy-fal...

2•DeepLogin•15m ago•0 comments

Making s1-model 'Judgements' a RubyLang primitive feature

https://github.com/innocentdiaz/s1_ruby

1•idz•16m ago•0 comments

Two Hard Things (2009)

https://martinfowler.com/bliki/TwoHardThings.html

2•adriand•18m ago•0 comments

7 out of 9 Planetary Boundaries are breached

https://www.planetaryhealthcheck.org/

5•geox•19m ago•1 comments

Muse sent me 6.8gb of its filesystem. Here's what I found

https://twitter.com/heypeterjames/status/2102183574384300356

2•Aeroi•21m ago•0 comments

AI provides the logic; the compiler makes it real – with zero hallucinations

https://github.com/SPLWare/SQLazy

2•Judyrabbit•22m ago•1 comments

CO3: Toward the Optimal FFI

https://mversic.github.io/co3/

1•manyatoms•28m ago•0 comments

Two Strangers, One Machine: A security model for a CDN on residential hardware

https://blog.evolvingedge.ai/post/how-little-do-you-have-to-trust-us-white-paper-launch/

1•gadgetboy•30m ago•0 comments

Nvidia chip-use emissions match that of a Russian state coal producer: report

https://www.euronews.com/next/2026/09/21/nvidia-chip-use-emissions-match-that-of-a-russian-state-...

4•devonnull•32m ago•0 comments

Xiaomi MiMo Desktop

https://mimo-ai.xiaomimimo.com/desktop/

1•gainsurier•32m ago•0 comments

Xaml.io v0.9: Build .NET Apps from a Prompt, in the Browser

https://blog.xaml.io/post/build-dotnet-apps-from-a-prompt

1•vasbu•33m ago•1 comments

Show HN: Context Tetris clear rows to bank the useful context Keep the noise out

https://vstorm-co.github.io/agenticos/arcade/context.html

1•outageroom•35m ago•0 comments

There May Be Nobody There

https://yusufaytas.com/there-may-be-nobody-there

1•bastrich•37m ago•0 comments

Arce: Design studio for furniture makers and interior designers

https://arce.design/

2•ivanenkoy•41m ago•1 comments

Delta: Highly available, strongly consistent storage using chain replication (2022)

https://engineering.fb.com/2022/05/04/data-infrastructure/delta/

1•grep_it•43m ago•0 comments

So, is AI going to kill us? 11 experts, 11 answers

https://sfstandard.com/2026/09/21/experts-ai-doom/

1•ghuntley•44m ago•0 comments

Motor Characterization for Small Running Robots (2016)

https://robot-daycare.com/posts/2016-01-06-motor-characterization-for-small-running-robots/

1•loughnane•45m ago•0 comments

Show HN: Jevopt: Making intelligent compiler optimisation decisions with Jev

LeanHTTP: HTTP Client for Lean 4

EU moves to curb energy and water for data centres

An Introduction to Compression-Based Machine Learning

Google confirms Gemini models hacked three companies in May 2026

Heckle: Converting Git forges into Terraform/OpenTofu

Socrates vs. the Written Word (2011)

Show HN: Jev Powered Obsidian Search

Open Animal Stage – mapped animal brains play a strategy game together

A skills library for every agent

Schelling Points and the Secret Society of Agents

JevOps Engineer

The Softness of Metal

Millions Spent, Few Served: Talkspace Deal for Youth Therapy Falls Short

Making s1-model 'Judgements' a RubyLang primitive feature

Two Hard Things (2009)

7 out of 9 Planetary Boundaries are breached

Muse sent me 6.8gb of its filesystem. Here's what I found

AI provides the logic; the compiler makes it real – with zero hallucinations

CO3: Toward the Optimal FFI

Two Strangers, One Machine: A security model for a CDN on residential hardware

Nvidia chip-use emissions match that of a Russian state coal producer: report

Xiaomi MiMo Desktop

Xaml.io v0.9: Build .NET Apps from a Prompt, in the Browser

Show HN: Context Tetris clear rows to bank the useful context Keep the noise out

There May Be Nobody There

Arce: Design studio for furniture makers and interior designers

Delta: Highly available, strongly consistent storage using chain replication (2022)

So, is AI going to kill us? 11 experts, 11 answers

Motor Characterization for Small Running Robots (2016)

Brad Smith and Kevin Rudd on AI, Regulation, and the Future of Work [video]

Show HN: Jevopt: Making intelligent compiler optimisation decisions with Jev

LeanHTTP: HTTP Client for Lean 4

EU moves to curb energy and water for data centres

An Introduction to Compression-Based Machine Learning

Google confirms Gemini models hacked three companies in May 2026

Heckle: Converting Git forges into Terraform/OpenTofu

Socrates vs. the Written Word (2011)

Show HN: Jev Powered Obsidian Search

Open Animal Stage – mapped animal brains play a strategy game together

A skills library for every agent

Schelling Points and the Secret Society of Agents

JevOps Engineer

The Softness of Metal

Millions Spent, Few Served: Talkspace Deal for Youth Therapy Falls Short

Making s1-model 'Judgements' a RubyLang primitive feature

Two Hard Things (2009)

7 out of 9 Planetary Boundaries are breached

Muse sent me 6.8gb of its filesystem. Here's what I found

AI provides the logic; the compiler makes it real – with zero hallucinations

CO3: Toward the Optimal FFI

Two Strangers, One Machine: A security model for a CDN on residential hardware

Nvidia chip-use emissions match that of a Russian state coal producer: report

Xiaomi MiMo Desktop

Xaml.io v0.9: Build .NET Apps from a Prompt, in the Browser

Show HN: Context Tetris clear rows to bank the useful context Keep the noise out

There May Be Nobody There

Arce: Design studio for furniture makers and interior designers

Delta: Highly available, strongly consistent storage using chain replication (2022)

So, is AI going to kill us? 11 experts, 11 answers

Motor Characterization for Small Running Robots (2016)