fp.

From Trust to Verification: Lean's Impact on Mathematics

https://www.simonsfoundation.org/2026/06/23/from-trust-to-verification-leans-impact-on-mathematics/

1•digital55•35s ago•0 comments

5 frontier LLMs have the same favorite joke

https://rkique.github.io/humanitys-first-exam/joke

1•rkique•1m ago•0 comments

IOL-AI 2026 Challenge: Can Your Model Solve Linguistics Olympiad Problems?

https://huggingface.co/spaces/iol-ai-challenge/iol-ai-2026

1•amarbirsingh•2m ago•0 comments

DGX Spark Local LLM Benchmark: Administrative Tasks

https://www.aai-labs.com/en/research/local-llm-benchmark-administrative-tasks

1•tasubotadas•3m ago•0 comments

Canonization and the Overhang

https://laughingmeme.org/2026/06/30/canonization-and-the-overhang.html

1•mooreds•6m ago•0 comments

The pursuit of excellence does not need justification

https://xcancel.com/mitchellh/status/2074225453217505494?s=20

2•underdeserver•8m ago•0 comments

Ditching Zotero for a Text File

https://atthis.link/blog/2026/57207.html

1•speckx•9m ago•0 comments

Node.js is fighting a flood of AI-generated security reports

https://www.heise.de/news/Sicherheitswarnungen-Node-js-will-KI-Flut-mit-KI-bekaempfen-11355142.html

1•logickkk1•9m ago•0 comments

What's at the center of Claude's mind?

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

1•John7878781•10m ago•0 comments

Bumblebee: A zero-dependency Go scanner for malicious MCP servers and extensions

https://github.com/perplexityai/bumblebee

1•anonli•10m ago•1 comments

GLM 5.2 and the coming AI margin collapse

https://martinalderson.com/posts/the-upcoming-ai-margin-collapse-part-1-glm-5-2/

1•martinald•11m ago•0 comments

I Used to Think Memory Leaks Were Loud in Java

https://medium.com/@martinastaberger/i-used-to-think-memory-leaks-were-loud-in-java-617f346e2bc3

1•theanonymousone•12m ago•0 comments

Show HN: Onboard CLI uses LLM to filter out nodes and AST to visualize codebase

https://github.com/animesh-94/Onboard-CLI

1•yr_animesh•12m ago•0 comments

AI Comes to the Ivy League

https://www.plagiarismtoday.com/2026/07/06/ai-comes-to-the-ivy-league/

1•speckx•13m ago•0 comments

Decoding 137MHz signals from passing satellites to get images with a $10 SDR

https://www.jonhilty.com/satelliteimaging

3•vitaelabitur•15m ago•0 comments

M/PC – A Concatenative OS

https://wiki.xxiivv.com/site/m_pc.html

1•caminanteblanco•18m ago•0 comments

Poison, redzones and shadows: inside KASAN

https://bootlin.com/blog/poison-redzones-and-shadows-inside-kasan/

1•rrampage•18m ago•0 comments

xAI Is Now SpaceXAI

https://x.ai

1•EvanZhouDev•18m ago•0 comments

Architecture 2.0: Designing AI-Assisted Loops for Computing Systems

https://arch2.mlsysbook.ai/book/

2•matt_d•21m ago•0 comments

Packed Bed

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

1•tosh•21m ago•1 comments

Kernel Anti-Cheat Is an Overreach

https://nooneshappy.com/article/kernel-anti-cheat-is-an-overreach/

2•zdw•22m ago•0 comments

Utah lets AI refill prescriptions. Doctors are wary

https://apnews.com/article/ai-prescription-refill-utah-doctronic-fda-technology-cf94ce370c05f686e...

4•brandonb•24m ago•0 comments

So You Want to Work in Washington D.C.?

https://www.jessicariedl.blog/p/so-you-want-to-work-in-washington

2•paulpauper•24m ago•0 comments

UK could run out of air-con units, engineer says

https://www.bbc.com/news/articles/cp8r4g4907eo

3•paulpauper•25m ago•0 comments

Prefer the British Style of Quotation Mark Punctuation over the American

https://www.lesswrong.com/posts/3S8iiThH9QLysLtYL/prefer-the-british-style-of-quotation-mark-punc...

2•paulpauper•25m ago•0 comments

Breakup of Gondwana 100M Years Ago May Be Why Antarctica Has Ice Today

https://eos.org/articles/the-breakup-of-gondwana-hundreds-of-millions-of-years-ago-may-be-why-ant...

2•gmays•26m ago•0 comments

EU should learn from China's energy tech, say French power firm heads

https://www.scmp.com/economy/global-economy/article/3359567/eu-can-learn-chinas-energy-tech-say-h...

1•01-_-•29m ago•0 comments

Microsoft Is Cutting Jobs, and Xbox Is Taking the Brunt of It

https://comuniq.xyz/post?t=1363

3•01-_-•31m ago•0 comments

Reflections on the Life of a DBA

https://marlonribunal.com/reflections-on-the-life-of-a-dba/

1•MarlonPro•31m ago•1 comments

Getting Started with Loops

https://twitter.com/ClaudeDevs/status/2074208949205881033

1•dsr12•32m ago•0 comments

From Trust to Verification: Lean's Impact on Mathematics

5 frontier LLMs have the same favorite joke

IOL-AI 2026 Challenge: Can Your Model Solve Linguistics Olympiad Problems?

DGX Spark Local LLM Benchmark: Administrative Tasks

Canonization and the Overhang

The pursuit of excellence does not need justification

Ditching Zotero for a Text File

Node.js is fighting a flood of AI-generated security reports

What's at the center of Claude's mind?

Bumblebee: A zero-dependency Go scanner for malicious MCP servers and extensions

GLM 5.2 and the coming AI margin collapse

I Used to Think Memory Leaks Were Loud in Java

Show HN: Onboard CLI uses LLM to filter out nodes and AST to visualize codebase

AI Comes to the Ivy League

Decoding 137MHz signals from passing satellites to get images with a $10 SDR

M/PC – A Concatenative OS

Poison, redzones and shadows: inside KASAN

xAI Is Now SpaceXAI

Architecture 2.0: Designing AI-Assisted Loops for Computing Systems

Packed Bed

Kernel Anti-Cheat Is an Overreach

Utah lets AI refill prescriptions. Doctors are wary

So You Want to Work in Washington D.C.?

UK could run out of air-con units, engineer says

Prefer the British Style of Quotation Mark Punctuation over the American

Breakup of Gondwana 100M Years Ago May Be Why Antarctica Has Ice Today

EU should learn from China's energy tech, say French power firm heads

Microsoft Is Cutting Jobs, and Xbox Is Taking the Brunt of It

Reflections on the Life of a DBA

Getting Started with Loops

Government of Alberta uses Claude to find and fix cybersecurity vulnerabilities

From Trust to Verification: Lean's Impact on Mathematics

5 frontier LLMs have the same favorite joke

IOL-AI 2026 Challenge: Can Your Model Solve Linguistics Olympiad Problems?

DGX Spark Local LLM Benchmark: Administrative Tasks

Canonization and the Overhang

The pursuit of excellence does not need justification

Ditching Zotero for a Text File

Node.js is fighting a flood of AI-generated security reports

What's at the center of Claude's mind?

Bumblebee: A zero-dependency Go scanner for malicious MCP servers and extensions

GLM 5.2 and the coming AI margin collapse

I Used to Think Memory Leaks Were Loud in Java

Show HN: Onboard CLI uses LLM to filter out nodes and AST to visualize codebase

AI Comes to the Ivy League

Decoding 137MHz signals from passing satellites to get images with a $10 SDR

M/PC – A Concatenative OS

Poison, redzones and shadows: inside KASAN

xAI Is Now SpaceXAI

Architecture 2.0: Designing AI-Assisted Loops for Computing Systems

Packed Bed

Kernel Anti-Cheat Is an Overreach

Utah lets AI refill prescriptions. Doctors are wary

So You Want to Work in Washington D.C.?

UK could run out of air-con units, engineer says

Prefer the British Style of Quotation Mark Punctuation over the American

Breakup of Gondwana 100M Years Ago May Be Why Antarctica Has Ice Today

EU should learn from China's energy tech, say French power firm heads

Microsoft Is Cutting Jobs, and Xbox Is Taking the Brunt of It

Reflections on the Life of a DBA

Getting Started with Loops