- 1
And the proof is checked in Lean
(xenaproject.wordpress.com)
- 1
Show HN: App for Handpicked Movies by People
(apps.apple.com)
- 4
Adapting CPython for Yk
(tratt.net)
- 2
Show HN: Argument duello game with your friend – AI judge decides who's right
(wram.sprucekit.app)
- 2
Wikipedia Rewrote Zionism
(quillette.substack.com)
- 1
Our LLM cost model was double-counting batch and cache discounts
(beforeyouship.dev)
- 3
The End of Human Code: Is AI Taking Us Back to Punch Cards?
(medium.com)
- 3
Spain grinds to a halt in first general strike in 14 years
(euronews.com)
- 2
Show HN: OpenVue – MIT-licensed community fork of PrimeVue
(github.com)
- 1
Transactional email pricing at 10k, 50k and 200k a month, with the overage math
(senlo.io)
- 1
Ask HN: Publish Open Source or Closed
(undefined)
ask - 1
Quxnet Is a Breath of Fresh Air
(moddedbear.com)
- 2
Reducing Costs with local hosting and small AI
(undefined)
- 6
Tech is dead – also every tech stack
(undefined)
- 1
Free Fitchecks – Fitmaxxing App
(apps.apple.com)
- 1
Show HN: Netlink, a Mac menu bar app that tells you when your exit IP changes
(jeman.net)
- 1
The U-Shape of Feeling Cared About
(news.gallup.com)
- 1
Legendary Hacker News comments that aged like milk
(twitter.com)
- 3
Show HN: Pite – A 2D game engine with Python scripting and CLI tooling
(github.com)
- 3
The levels of agentic engineering (from someone who's led the climb twice)
(zachwills.net)
- 1
Stained Glass OS
(freesoft.page)
- 3
Microsoft Removes Remaining eMudhra Root Certificates from Trusted Root Program
(github.com)
- 2
What the GTA 6 preload looks like from inside a European network
(connectivityinsightinitiative.com)
- 2
Rails Is a JIT Compiler
(railsatscale.com)
- 4
The Myth of Neutral Code
(foss.life)
- 2
Father Guido Sarducci Five Minute University [video]
(youtube.com)
- 1
Apple's Claris Testing 'Harbor' App for Local AI on Macs
(macrumors.com)
- 1
Going to Dent the Scam Economy
(careful.help)
- 1
Show HN: EtherPK – Fast Markdown Notes with Agent Integrated Task Kanban Board
(etherpk.com)
- 4
Elon Musk says it would be an 'honor' to hire Nvidia's Jensen Huang
(cnbc.com)