-
2
LeanHTTP: HTTP Client for Lean 4
(github.com)
-
5
EU moves to curb energy and water for data centres
(euronews.com)
-
2
An Introduction to Compression-Based Machine Learning
(arxiv.org)
-
5
Google confirms Gemini models hacked three companies in May 2026
(arstechnica.com)
-
2
Heckle: Converting Git forges into Terraform/OpenTofu
(heckle.tf)
-
41
Socrates vs. the Written Word (2011)
(wondermark.com)
-
3
Show HN: Jev Powered Obsidian Search
(github.com)
-
2
Open Animal Stage – mapped animal brains play a strategy game together
(pr1nted.itch.io)
-
1
A skills library for every agent
(notion.com)
-
3
Schelling Points and the Secret Society of Agents
(jdsemrau.substack.com)
-
3
JevOps Engineer
(valency.io)
-
2
The Softness of Metal
(psyche.co)
-
3
Millions Spent, Few Served: Talkspace Deal for Youth Therapy Falls Short
(proofnews.org)
-
2
Making s1-model 'Judgements' a RubyLang primitive feature
(github.com)
-
2
Two Hard Things (2009)
(martinfowler.com)
-
27
7 out of 9 Planetary Boundaries are breached
(planetaryhealthcheck.org)
-
6
Muse sent me 6.8gb of its filesystem. Here's what I found
(twitter.com)
-
3
AI provides the logic; the compiler makes it real – with zero hallucinations
(github.com)
-
1
CO3: Toward the Optimal FFI
(mversic.github.io)
-
2
Two Strangers, One Machine: A security model for a CDN on residential hardware
(blog.evolvingedge.ai)
-
5
Nvidia chip-use emissions match that of a Russian state coal producer: report
(euronews.com)
-
2
Xiaomi MiMo Desktop
(mimo-ai.xiaomimimo.com)
-
1
Xaml.io v0.9: Build .NET Apps from a Prompt, in the Browser
(blog.xaml.io)
-
2
Show HN: Context Tetris clear rows to bank the useful context Keep the noise out
(vstorm-co.github.io)
-
3
There May Be Nobody There
(yusufaytas.com)
-
4
Arce: Design studio for furniture makers and interior designers
(arce.design)
-
1
Delta: Highly available, strongly consistent storage using chain replication (2022)
(engineering.fb.com)
-
2
So, is AI going to kill us? 11 experts, 11 answers
(sfstandard.com)
-
1
Motor Characterization for Small Running Robots (2016)
(robot-daycare.com)
-
3
I Redefined Partnership Terms to End the Sick Romanticization of Co-Founders
(medium.com)