fp.

Ekka: Automated Diagnosis of Silent Errors in LLM Inference

https://syfi.cs.washington.edu/blog/2026-06-29-ekka/

1•matt_d•1m ago•0 comments

You Don't Know Jack About Formal Verification

https://queue.acm.org/detail.cfm

1•aravindputrevu•1m ago•0 comments

I'm playing around with SEO / AEO / GEO

https://www.youdidwhatwithai.com/

1•thewebuiguy•3m ago•0 comments

"What is the terminal?" – Jon Udell

https://blog.jonudell.net/2026/07/01/what-is-the-terminal/

1•rbanffy•3m ago•0 comments

A Mind, a Body, and a Place to Work

https://twitter.com/maurya_ian/status/2074010518650864073

1•mauryaudayan•3m ago•0 comments

Guest Post: Atari Origins – By Mark Miller

https://www.goto10retro.com/p/guest-post-atari-origins

1•rbanffy•3m ago•0 comments

Alice Sebold, the wrong man, and Syracuse's buried rape crisis

https://www.propublica.org/article/alice-sebold-anthony-broadwater-rape-exoneration-syracuse

1•Jimmc414•4m ago•0 comments

XGBoost beat LLMs at finding civilian-harm posts in Ukraine war Telegram data

https://www.bellingcat.com/resources/2026/06/25/how-to-use-ai-to-help-find-civilian-harm-conflict...

1•Jimmc414•4m ago•0 comments

AMD Ryzen AI Halo Is a Powerful Mini PC with Open-Source Software

https://www.phoronix.com/review/amd-ryzen-ai-halo

1•rbanffy•5m ago•0 comments

Judgment-Theater and Responsibility Laundering in AI Post-Training

https://medium.com/@wo.shen.me.dou.bu.zhi.dao.a/structural-audit-of-judgment-theater-and-responsi...

1•SyntagmaNull•5m ago•0 comments

DeepSeek V4 Is Earning Agentic Token Share

https://openrouter.ai/blog/insights/deepseek-v4-adoption/

2•verdverm•5m ago•0 comments

Bugs Happen: solo PQ compared to ECC+PQ

https://blog.cr.yp.to/20260704-bugs.html

1•aburan28•5m ago•0 comments

Tokentap – Print what your LLM is thinking

https://github.com/jmuncor/tokentap

1•jmuncor•6m ago•1 comments

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

5 frontier LLMs have the same favorite joke

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

1•rkique•8m 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•8m ago•0 comments

DGX Spark Local LLM Benchmark: Administrative Tasks

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

1•tasubotadas•10m ago•0 comments

Canonization and the Overhang

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

1•mooreds•13m ago•0 comments

The pursuit of excellence does not need justification

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

2•underdeserver•14m ago•0 comments

Ditching Zotero for a Text File

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

1•speckx•15m 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•15m ago•0 comments

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

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

1•John7878781•16m ago•0 comments

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

https://github.com/perplexityai/bumblebee

1•anonli•17m 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/

2•martinald•18m 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•19m 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•19m ago•0 comments

AI Comes to the Ivy League

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

1•speckx•20m ago•0 comments

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

https://www.jonhilty.com/satelliteimaging

5•vitaelabitur•21m ago•0 comments

M/PC – A Concatenative OS

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

2•caminanteblanco•24m ago•0 comments

Poison, redzones and shadows: inside KASAN

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

1•rrampage•24m ago•0 comments

Ekka: Automated Diagnosis of Silent Errors in LLM Inference

You Don't Know Jack About Formal Verification

I'm playing around with SEO / AEO / GEO

"What is the terminal?" – Jon Udell

A Mind, a Body, and a Place to Work

Guest Post: Atari Origins – By Mark Miller

Alice Sebold, the wrong man, and Syracuse's buried rape crisis

XGBoost beat LLMs at finding civilian-harm posts in Ukraine war Telegram data

AMD Ryzen AI Halo Is a Powerful Mini PC with Open-Source Software

Judgment-Theater and Responsibility Laundering in AI Post-Training

DeepSeek V4 Is Earning Agentic Token Share

Bugs Happen: solo PQ compared to ECC+PQ

Tokentap – Print what your LLM is thinking

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

The Most Accurate Watch That Doesn't Tell Time

Ekka: Automated Diagnosis of Silent Errors in LLM Inference

You Don't Know Jack About Formal Verification

I'm playing around with SEO / AEO / GEO

"What is the terminal?" – Jon Udell

A Mind, a Body, and a Place to Work

Guest Post: Atari Origins – By Mark Miller

Alice Sebold, the wrong man, and Syracuse's buried rape crisis

XGBoost beat LLMs at finding civilian-harm posts in Ukraine war Telegram data

AMD Ryzen AI Halo Is a Powerful Mini PC with Open-Source Software

Judgment-Theater and Responsibility Laundering in AI Post-Training

DeepSeek V4 Is Earning Agentic Token Share

Bugs Happen: solo PQ compared to ECC+PQ

Tokentap – Print what your LLM is thinking

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