fp.

Why isn't Proof-Carrying Code more popular?

1•nwah1•1m ago•0 comments

Show HN: Gatekeeper – Persuade a 34MB Jev-like model to let you into the castle

https://gatekeeper.dopp.sh/

1•mazlix•2m ago•0 comments

Show HN: Hedwig, a free and open-source alternative to Instantly and Smartlead

https://flyhedwig.com

1•gabceboli•2m ago•0 comments

North Korea Beyond Pyongyang [video]

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

1•shmilia•4m ago•0 comments

If You Think You Can Do Real-World Text-to-SQL

https://cacm.acm.org/opinion/if-you-think-you-can-do-real-world-text-to-sql/

1•yarapavan•5m ago•0 comments

Before pixels: Modular industrial dashboards

https://unsung.aresluna.org/before-pixels-modular-industrial-dashboards/

2•leephillips•8m ago•0 comments

The eruption that destroyed Pompeii is helping scientists date Earth's history

https://news.berkeley.edu/2026/09/25/the-eruption-that-destroyed-pompeii-is-helping-scientists-da...

3•gmays•9m ago•0 comments

The Homeless Community in Portland, Oregon That Became a Self-Governed Village

https://www.nytimes.com/2026/09/26/headway/portland-diginity-village-homeless-community.html

3•bookofjoe•9m ago•1 comments

a16z’s State of Markets II

https://a16z.com/state-of-markets-ii/

2•rafaelc•10m ago•0 comments

Jevstiller: Distill a repeated Jev classification task into a local model

https://github.com/tomerglick57/Jevstiller

2•simonpure•10m ago•0 comments

Upgrading a 56TB database that's growing at 250GB/day with (nearly) no downtime

https://trigger.dev/blog/upgrading-a-56tb-database

2•handfuloflight•11m ago•0 comments

Read the History, Not Just the Code

https://blog.ptidej.net/read-the-history-not-just-the-code/

2•aliiiimaher•11m ago•1 comments

Git-dedup – faster and smaller checkouts for agentic workflows

https://ben3d.ca/blog/git-dedup-faster-smaller-checkouts

2•bhouston•12m ago•0 comments

Drone startup tied to Trump sons aims to bring Ukrainian tech to US

https://www.reuters.com/world/asia-pacific/drone-startup-tied-trump-sons-aims-bring-ukrainian-tec...

3•gvieri•14m ago•0 comments

Reducing Ultraprocessed Foods from the Diets of Patients with Depression

https://jamanetwork.com/journals/jamapsychiatry/fullarticle/2854373?guestAccessKey=23e7a106-b399-...

2•littlexsparkee•15m ago•0 comments

Show HN: Whisper Dictate – Offline push-to-talk dictation for Windows and macOS

https://whisperdictate.vercel.app

2•richard_baecker•16m ago•0 comments

What do you want from AI?

https://www.anthropic.com/research/your-thoughts-on-ai

2•tombot•17m ago•0 comments

Muse Browses the Internet

https://mouse.dev/blog/muse-browser/

3•Aeroi•17m ago•1 comments

Pining for Arc Downcasting in Rust

https://wolfgirl.dev/blog/2026-09-29-pining-for-arc-downcasting-in-rust/

2•birdculture•18m ago•0 comments

Show HN: Got tired of relaying context between Slack and my Claude Code CLI

https://www.reddit.com/r/ClaudeAI/comments/1wuc5vu/i_was_tired_of_relaying_context_between_slack_...

2•bgnm2000•19m ago•0 comments

AI Blinder

https://github.com/Splinters-io/blinder

2•splintersio•21m ago•3 comments

Phonon-2: most accurate open speech recognition model in a 164 MB download

https://www.fermionresearch.com/research/phonon-2/

1•handfuloflight•21m ago•0 comments

Are You Sure You Want to Use MMAP in Your Database Management System? (2022)

https://vldb.org/cidrdb/2022/are-you-sure-you-want-to-use-mmap-in-your-database-management-system...

1•adletbalzhanov•22m ago•0 comments

You Don't Know Bidi (and Neither Does ChatGPT)

https://blog.master.dev/you-dont-know-bidi-and-neither-does-chatgpt/

1•microflash•22m ago•0 comments

Show HN: Ciao – Control coding agents from your phone

https://apps.apple.com/us/app/ciaooo-claude-code-codex/id6793695487

1•bojanstef•23m ago•0 comments

Is Ken Griffin turning Wynwood into a college town?

https://www.miaminewtimes.com/news/is-ken-griffin-turning-wynwood-into-a-college-town-40588743/

1•wslh•24m ago•0 comments

AI CEO Interviews (2026) [video]

https://www.youtube.com/watch?v=DlTNN0gvkLM&lc=UgwcT1Ye7kzJV9UaRAN4AaABAg

1•jansan•25m ago•0 comments

We're Taking Hobbies Too Far

https://time.com/article/2026/07/20/we-are-taking-hobbies-too-far/

1•herbertl•26m ago•0 comments

GB Studio

https://www.gbstudio.dev/

1•tosh•30m ago•0 comments

Jointly optimizing SQL queries and LLM inference for up to 14x speedups

https://fsdatalab.github.io/blog/introducing-quail/

3•shreya_shankar•30m ago•0 comments

Why isn't Proof-Carrying Code more popular?

Show HN: Gatekeeper – Persuade a 34MB Jev-like model to let you into the castle

Show HN: Hedwig, a free and open-source alternative to Instantly and Smartlead

North Korea Beyond Pyongyang [video]

If You Think You Can Do Real-World Text-to-SQL

Before pixels: Modular industrial dashboards

The eruption that destroyed Pompeii is helping scientists date Earth's history

The Homeless Community in Portland, Oregon That Became a Self-Governed Village

a16z’s State of Markets II

Jevstiller: Distill a repeated Jev classification task into a local model

Upgrading a 56TB database that's growing at 250GB/day with (nearly) no downtime

Read the History, Not Just the Code

Git-dedup – faster and smaller checkouts for agentic workflows

Drone startup tied to Trump sons aims to bring Ukrainian tech to US

Reducing Ultraprocessed Foods from the Diets of Patients with Depression

Show HN: Whisper Dictate – Offline push-to-talk dictation for Windows and macOS

What do you want from AI?

Muse Browses the Internet

Pining for Arc Downcasting in Rust

Show HN: Got tired of relaying context between Slack and my Claude Code CLI

AI Blinder

Phonon-2: most accurate open speech recognition model in a 164 MB download

Are You Sure You Want to Use MMAP in Your Database Management System? (2022)

You Don't Know Bidi (and Neither Does ChatGPT)

Show HN: Ciao – Control coding agents from your phone

Is Ken Griffin turning Wynwood into a college town?

AI CEO Interviews (2026) [video]

We're Taking Hobbies Too Far

GB Studio

Jointly optimizing SQL queries and LLM inference for up to 14x speedups

A glimpse into life inside a child prison in France

Why isn't Proof-Carrying Code more popular?

Show HN: Gatekeeper – Persuade a 34MB Jev-like model to let you into the castle

Show HN: Hedwig, a free and open-source alternative to Instantly and Smartlead

North Korea Beyond Pyongyang [video]

If You Think You Can Do Real-World Text-to-SQL

Before pixels: Modular industrial dashboards

The eruption that destroyed Pompeii is helping scientists date Earth's history

The Homeless Community in Portland, Oregon That Became a Self-Governed Village

a16z’s State of Markets II

Jevstiller: Distill a repeated Jev classification task into a local model

Upgrading a 56TB database that's growing at 250GB/day with (nearly) no downtime

Read the History, Not Just the Code

Git-dedup – faster and smaller checkouts for agentic workflows

Drone startup tied to Trump sons aims to bring Ukrainian tech to US

Reducing Ultraprocessed Foods from the Diets of Patients with Depression

Show HN: Whisper Dictate – Offline push-to-talk dictation for Windows and macOS

What do you want from AI?

Muse Browses the Internet

Pining for Arc Downcasting in Rust

Show HN: Got tired of relaying context between Slack and my Claude Code CLI

AI Blinder

Phonon-2: most accurate open speech recognition model in a 164 MB download

Are You Sure You Want to Use MMAP in Your Database Management System? (2022)

You Don't Know Bidi (and Neither Does ChatGPT)

Show HN: Ciao – Control coding agents from your phone

Is Ken Griffin turning Wynwood into a college town?

AI CEO Interviews (2026) [video]

We're Taking Hobbies Too Far

GB Studio

Jointly optimizing SQL queries and LLM inference for up to 14x speedups