fp.

Designing Predictable LLM-Verifier Systems for Formal Method Guarantee

https://arxiv.org/abs/2512.02080

1•PaulHoule•32s ago•0 comments

Terence Tao: AI contributions to Erdős problems

https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems

1•frozenseven•45s ago•0 comments

Parsing Advances

https://matklad.github.io/2025/12/28/parsing-advances.html

1•mfrw•3m ago•0 comments

Ask HN: Best Podcasts of 2025?

2•adriancooney•4m ago•1 comments

Jensen Huang meets with former hostage and Nvidia employee Avinatan Or

https://www.ynetnews.com/business/article/skw4qsomwl

1•thenaturalist•6m ago•0 comments

Git and Markdown are all you need

https://www.galiglobal.com/blog/2025/20251221-git-and-markdown-are-all-you-need.html

1•antonmry•6m ago•1 comments

The Optimal Architecture for Small Language Models

https://huggingface.co/blog/codelion/optimal-model-architecture

1•simonpure•6m ago•0 comments

Nvidia deal a big win for Groq employees

https://www.axios.com/2025/12/28/nvidia-groq-shareholders

1•seanlinehan•7m ago•0 comments

Show HN: Meter – Web scraping that syncs only what changed

https://www.meter.sh/

1•mckinnonr•8m ago•0 comments

Beyond Vector Search: Building an Adaptive Retrieval Router for Agentic AI

https://medium.com/@sumoaps/beyond-vector-search-building-an-adaptive-retrieval-router-for-agenti...

1•sumoaps•8m ago•1 comments

Show HN: FlowCode – Visual Flowcharts That Generate and Execute Python

https://southernadd-cmyk.github.io/flowCode/

1•adamclement•9m ago•0 comments

Microsoft Open Specifications

https://learn.microsoft.com/en-us/openspecs/main/ms-openspeclp/3589baea-5b22-48f2-9d43-f5bea4960ddb

1•vitorsr•10m ago•0 comments

Bluetooth Headphone Jacking: A Key to Your Phone [video]

https://media.ccc.de/v/39c3-bluetooth-headphone-jacking-a-key-to-your-phone

1•willnix•11m ago•1 comments

Mitra 15 (French minicomputer from the 1970)

https://en.wikipedia.org/wiki/Mitra_15

1•JPLeRouzic•14m ago•0 comments

People Who Drink Bottled Water Daily Get 90k More Microplastic Particles a Year

https://www.wired.com/story/people-who-drink-bottled-water-on-a-daily-basis-ingest-90000-more-mic...

3•beardyw•14m ago•0 comments

Radioscope: A device that turns Wi-Fi activity into sound

https://github.com/simg/radioscope

1•simg•15m ago•1 comments

Playing Factorio from 1k floppy disks

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

1•kllrnohj•15m ago•0 comments

Secret code break that 'solved' the Zodiac killer case

https://papalinc.com/secret-code-break-that-solved-the-zodiac-killer-case-expert-who-unmasked-sin...

1•goloroden•16m ago•0 comments

Show HN: Better Git for KiCad

https://www.paplix.io/

1•Mechse•20m ago•0 comments

Show HN: Codenhack – An interactive terminal and live editor for beginners

https://codenhack.com/

1•codenhack•21m ago•0 comments

Toward Training Superintelligent Software Agents Through Self-Play SWE-RL

https://arxiv.org/abs/2512.18552

1•pama•22m ago•0 comments

Do You Remember ISDN?

https://www.youtube.com/watch?v=rQfy8T-VOs4

1•linsomniac•23m ago•1 comments

Zero-days in GPG out in the wild [video]

https://media.ccc.de/v/39c3-to-sign-or-not-to-sign-practical-vulnerabilities-i

1•l1am0•24m ago•0 comments

Country makes call to cancel all visas for Americans

https://www.thestreet.com/travel/country-makes-call-to-cancel-all-visas-for-americans

3•sipofwater•28m ago•1 comments

Show HN: mdfocus – A distraction free Markdown reader for your localhost

https://github.com/tzador/mdfocus

2•timz•28m ago•0 comments

Show HN: Self-growing neural networks via a custom Rust-to-LLVM compiler

https://github.com/pierridotite/NOMA

6•pierridotite•29m ago•3 comments

GA4 Has Become More Complex – and That's Changing Analytics in the EU

2•CheckAnalytic•30m ago•0 comments

Ancient Greek Geometry

https://sciencevsmagic.net/geo/

2•birdculture•32m ago•0 comments

Show HN: Control Your Telegram with AI

https://medium.com/dev-genius/control-your-telegram-with-ai-complete-setup-guide-for-2025-15e95bd...

1•orrbenyamini•33m ago•0 comments

Show HN: Nex – The simplest way to build Htmx apps in Elixir

https://github.com/gofenix/nex

2•gofenix•33m ago•1 comments

Designing Predictable LLM-Verifier Systems for Formal Method Guarantee

Terence Tao: AI contributions to Erdős problems

Parsing Advances

Ask HN: Best Podcasts of 2025?

Jensen Huang meets with former hostage and Nvidia employee Avinatan Or

Git and Markdown are all you need

The Optimal Architecture for Small Language Models

Nvidia deal a big win for Groq employees

Show HN: Meter – Web scraping that syncs only what changed

Beyond Vector Search: Building an Adaptive Retrieval Router for Agentic AI

Show HN: FlowCode – Visual Flowcharts That Generate and Execute Python

Microsoft Open Specifications

Bluetooth Headphone Jacking: A Key to Your Phone [video]

Mitra 15 (French minicomputer from the 1970)

People Who Drink Bottled Water Daily Get 90k More Microplastic Particles a Year

Radioscope: A device that turns Wi-Fi activity into sound

Playing Factorio from 1k floppy disks

Secret code break that 'solved' the Zodiac killer case

Show HN: Better Git for KiCad

Show HN: Codenhack – An interactive terminal and live editor for beginners

Toward Training Superintelligent Software Agents Through Self-Play SWE-RL

Do You Remember ISDN?

Zero-days in GPG out in the wild [video]

Country makes call to cancel all visas for Americans

Show HN: mdfocus – A distraction free Markdown reader for your localhost

Show HN: Self-growing neural networks via a custom Rust-to-LLVM compiler

GA4 Has Become More Complex – and That's Changing Analytics in the EU

Ancient Greek Geometry

Show HN: Control Your Telegram with AI

Show HN: Nex – The simplest way to build Htmx apps in Elixir

XTerm Control Sequences [pdf]

Designing Predictable LLM-Verifier Systems for Formal Method Guarantee

Terence Tao: AI contributions to Erdős problems

Parsing Advances

Ask HN: Best Podcasts of 2025?

Jensen Huang meets with former hostage and Nvidia employee Avinatan Or

Git and Markdown are all you need

The Optimal Architecture for Small Language Models

Nvidia deal a big win for Groq employees

Show HN: Meter – Web scraping that syncs only what changed

Beyond Vector Search: Building an Adaptive Retrieval Router for Agentic AI

Show HN: FlowCode – Visual Flowcharts That Generate and Execute Python

Microsoft Open Specifications

Bluetooth Headphone Jacking: A Key to Your Phone [video]

Mitra 15 (French minicomputer from the 1970)

People Who Drink Bottled Water Daily Get 90k More Microplastic Particles a Year

Radioscope: A device that turns Wi-Fi activity into sound

Playing Factorio from 1k floppy disks

Secret code break that 'solved' the Zodiac killer case

Show HN: Better Git for KiCad

Show HN: Codenhack – An interactive terminal and live editor for beginners

Toward Training Superintelligent Software Agents Through Self-Play SWE-RL

Do You Remember ISDN?

Zero-days in GPG out in the wild [video]

Country makes call to cancel all visas for Americans

Show HN: mdfocus – A distraction free Markdown reader for your localhost

Show HN: Self-growing neural networks via a custom Rust-to-LLVM compiler

GA4 Has Become More Complex – and That's Changing Analytics in the EU

Ancient Greek Geometry

Show HN: Control Your Telegram with AI

Show HN: Nex – The simplest way to build Htmx apps in Elixir