fp.

Netdata: Monitoring and Troubleshooting Transformed

https://www.netdata.cloud/

1•eustoria•19s ago•0 comments

Designing Predictable LLM-Verifier Systems for Formal Method Guarantee

https://arxiv.org/abs/2512.02080

1•PaulHoule•3m 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•3m ago•0 comments

Parsing Advances

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

1•mfrw•6m ago•0 comments

Ask HN: Best Podcasts of 2025?

3•adriancooney•7m ago•1 comments

Jensen Huang meets with former hostage and Nvidia employee Avinatan Or

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

1•thenaturalist•9m 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•9m ago•1 comments

The Optimal Architecture for Small Language Models

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

1•simonpure•9m ago•0 comments

Nvidia deal a big win for Groq employees

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

1•seanlinehan•10m ago•0 comments

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

https://www.meter.sh/

1•mckinnonr•10m 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•11m ago•1 comments

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

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

1•adamclement•12m ago•0 comments

Microsoft Open Specifications

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

1•vitorsr•13m ago•0 comments

Laid Off After 25 Years in Tech:The Anxiety,Sacrifice,Reality No One Talks About [video]

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

1•jcsoft•14m 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

3•willnix•14m ago•1 comments

Mitra 15 (French minicomputer from the 1970)

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

1•JPLeRouzic•17m 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•17m ago•0 comments

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

https://github.com/simg/radioscope

1•simg•18m ago•1 comments

Playing Factorio from 1k floppy disks

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

1•kllrnohj•18m 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•19m ago•0 comments

Show HN: Better Git for KiCad

https://www.paplix.io/

1•Mechse•23m ago•0 comments

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

https://codenhack.com/

1•codenhack•24m ago•0 comments

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

https://arxiv.org/abs/2512.18552

1•pama•25m ago•0 comments

Do You Remember ISDN?

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

1•linsomniac•26m 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•27m 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

Netdata: Monitoring and Troubleshooting Transformed

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

Laid Off After 25 Years in Tech:The Anxiety,Sacrifice,Reality No One Talks About [video]

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

Arcan 0.7.1 – Minutes to Midnight

Netdata: Monitoring and Troubleshooting Transformed

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

Laid Off After 25 Years in Tech:The Anxiety,Sacrifice,Reality No One Talks About [video]

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