fp.

Our First Proof Submissions

https://openai.com/index/first-proof-submissions/

1•gmays•2m ago•0 comments

For a new golden age of FOSS

https://ogirardot.writizzy.com/p/for-a-new-golden-age-of-foss

1•ssaboum•2m ago•1 comments

3D-Printed electric motor manufactured via multi-modal, multi-material extrusion

https://www.tandfonline.com/doi/full/10.1080/17452759.2026.2613185#d1e259

1•fightling•3m ago•0 comments

Show HN: I rebuilt my 13-year-old budgeting app from scratch in Flutter

https://www.budgt.ch/blog/budgt-13-rebuilt-from-scratch-whats-new/

1•sfluecki-dev•3m ago•0 comments

The Myth of the Bayesian Brain

https://link.springer.com/article/10.1007/s00421-025-05855-6

1•paraschopra•4m ago•0 comments

Red/Green TDD

https://simonwillison.net/guides/agentic-engineering-patterns/red-green-tdd/

1•tomwphillips•5m ago•1 comments

Who's in Charge? Disempowerment Patterns in Real-World LLM Usage

https://arxiv.org/abs/2601.19062

1•Gillesray•6m ago•1 comments

Show HN: Claudedash – real-time local dashboard for Claude Code agents

1•yunusemregurlu•12m ago•1 comments

OpenCrabs: AI terminal-native orchestration layer for software development

https://github.com/adolfousier/opencrabs

1•otterwise•15m ago•0 comments

Show, Don't Tell

https://blog.exe.dev/show-dont-tell

1•tosh•15m ago•0 comments

Raya: Compiled TypeScript with Go-Concurrency

https://raya.land/

1•adityapurwa•20m ago•0 comments

A fast Ruby code formatter build in Rust

https://github.com/sorafujitani/rfmt

1•walski•20m ago•0 comments

60 Year old vibe coder create revenue SaaS with vibe agent and vibe testing tool

1•Thorin_scout•22m ago•1 comments

Show HN: Launching for the full public on 17th May 2026

https://waitlist-j5z9.onrender.com/

1•Sechele•22m ago•0 comments

BrowserPicker: Smart Browser Selector for Windows

https://github.com/mortenn/BrowserPicker

1•Klaster_1•23m ago•0 comments

Magical Mushroom – Europe's first industrial-scale mycelium packaging producer

https://magicalmushroom.com/index

3•microflash•24m ago•0 comments

Apixies – 39 utility APIs (SSL, DNS, email, QR, PDF) behind one key

https://apixies.io

2•bicibg•26m ago•1 comments

Investigating an LLM generated C compiler

https://shape-of-code.com/2026/02/22/investigating-an-llm-generated-c-compiler/

2•rsaarelm•27m ago•0 comments

Which web frameworks are most token-efficient for AI agents?

https://martinalderson.com/posts/which-web-frameworks-are-most-token-efficient-for-ai-agents/

3•martinald•28m ago•0 comments

Is the Swipe Era Over?

https://www.nytimes.com/2026/02/22/podcasts/the-daily/is-the-swipe-era-over.html

2•vednig•31m ago•0 comments

Show HN: Mellon – Free local speech-to-text for Mac with phonetic corrections

https://voice.mellon.chat/

2•xavpoon•32m ago•1 comments

Three thoughts on the future of writing software

https://twitter.com/awnihannun/status/2025752613749399609

2•tosh•33m ago•0 comments

Pope tells priests to use their brains, not AI, to write homilies

https://www.ewtnnews.com/vatican/pope-leo-xiv-tells-priests-to-use-their-brains-not-ai-to-write-h...

43•josephcsible•34m ago•9 comments

Zlinter – An Extendable and Customizable Zig Linter

https://github.com/KurtWagner/zlinter

2•TheWiggles•35m ago•0 comments

Show HN: DoFast – I built a tool that shows me my next best action

https://dofast.xyz

1•gisverygood•36m ago•1 comments

Show HN: I made and app to stop living on autopilot

https://apps.apple.com/us/app/unpilot-stop-doom-scrolling/id6756385928

1•pabloschz•38m ago•2 comments

Clip to source: contextualizing Instagram reels by building a search engine

https://mrks.se/clip-to-source/

1•maekoos•40m ago•0 comments

Snake Charmer – A nicer way to view Python docs

https://snake-charmer.work/3.14/tutorial/appetite

1•spikepuppet•40m ago•1 comments

Show HN: Code Lantern– A self-hosted, local code-analysis and visualization tool

Our First Proof Submissions

For a new golden age of FOSS

3D-Printed electric motor manufactured via multi-modal, multi-material extrusion

Show HN: I rebuilt my 13-year-old budgeting app from scratch in Flutter

The Myth of the Bayesian Brain

Red/Green TDD

Who's in Charge? Disempowerment Patterns in Real-World LLM Usage

Show HN: Claudedash – real-time local dashboard for Claude Code agents

OpenCrabs: AI terminal-native orchestration layer for software development

Show, Don't Tell

Raya: Compiled TypeScript with Go-Concurrency

A fast Ruby code formatter build in Rust

60 Year old vibe coder create revenue SaaS with vibe agent and vibe testing tool

Show HN: Launching for the full public on 17th May 2026

BrowserPicker: Smart Browser Selector for Windows

Magical Mushroom – Europe's first industrial-scale mycelium packaging producer

Apixies – 39 utility APIs (SSL, DNS, email, QR, PDF) behind one key

Investigating an LLM generated C compiler

Which web frameworks are most token-efficient for AI agents?

Is the Swipe Era Over?

Show HN: Mellon – Free local speech-to-text for Mac with phonetic corrections

Three thoughts on the future of writing software

Pope tells priests to use their brains, not AI, to write homilies

Zlinter – An Extendable and Customizable Zig Linter

Show HN: DoFast – I built a tool that shows me my next best action

Show HN: I made and app to stop living on autopilot

Clip to source: contextualizing Instagram reels by building a search engine

Snake Charmer – A nicer way to view Python docs

Show HN: Code Lantern– A self-hosted, local code-analysis and visualization tool

Scheme 9 from Empty Space (2014)

Our First Proof Submissions

For a new golden age of FOSS

3D-Printed electric motor manufactured via multi-modal, multi-material extrusion

Show HN: I rebuilt my 13-year-old budgeting app from scratch in Flutter

The Myth of the Bayesian Brain

Red/Green TDD

Who's in Charge? Disempowerment Patterns in Real-World LLM Usage

Show HN: Claudedash – real-time local dashboard for Claude Code agents

OpenCrabs: AI terminal-native orchestration layer for software development

Show, Don't Tell

Raya: Compiled TypeScript with Go-Concurrency

A fast Ruby code formatter build in Rust

60 Year old vibe coder create revenue SaaS with vibe agent and vibe testing tool

Show HN: Launching for the full public on 17th May 2026

BrowserPicker: Smart Browser Selector for Windows

Magical Mushroom – Europe's first industrial-scale mycelium packaging producer

Apixies – 39 utility APIs (SSL, DNS, email, QR, PDF) behind one key

Investigating an LLM generated C compiler

Which web frameworks are most token-efficient for AI agents?

Is the Swipe Era Over?

Show HN: Mellon – Free local speech-to-text for Mac with phonetic corrections

Three thoughts on the future of writing software

Pope tells priests to use their brains, not AI, to write homilies

Zlinter – An Extendable and Customizable Zig Linter

Show HN: DoFast – I built a tool that shows me my next best action

Show HN: I made and app to stop living on autopilot

Clip to source: contextualizing Instagram reels by building a search engine

Snake Charmer – A nicer way to view Python docs

Show HN: Code Lantern– A self-hosted, local code-analysis and visualization tool

Scheme 9 from Empty Space (2014)