fp.

Show HN: A little cat that counts your tokens (Claude and codex)

https://jpthecat.com

1•saddington•1m ago•0 comments

Spain's Solar Is So Cheap Investors Are Looking for an Exit

https://www.bloomberg.com/news/newsletters/2026-06-30/spain-s-solar-is-so-cheap-investors-are-loo...

1•mooreds•1m ago•1 comments

Ask HN: What browser extensions or front ends do you use for reading HN, if any?

1•GaryBluto•2m ago•1 comments

Show HN: DNSskills.md – agentic skills for certain DNS utilities

https://dnsskills.md

1•StuntPope•2m ago•0 comments

The Yoto Music Box Is a Ray of Hope Amid the 'Techlash'

https://www.nytimes.com/2026/07/01/technology/personaltech/yoto-music-box-screens.html

1•reaperducer•2m ago•0 comments

Ekka: Automated Diagnosis of Silent Errors in LLM Inference

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

2•matt_d•4m ago•0 comments

You Don't Know Jack About Formal Verification

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

2•aravindputrevu•4m ago•0 comments

I'm playing around with SEO / AEO / GEO

https://www.youdidwhatwithai.com/

2•thewebuiguy•6m ago•0 comments

"What is the terminal?" – Jon Udell

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

2•rbanffy•7m ago•0 comments

A Mind, a Body, and a Place to Work

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

2•mauryaudayan•7m ago•0 comments

Guest Post: Atari Origins – By Mark Miller

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

2•rbanffy•7m 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

2•Jimmc414•7m 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...

2•Jimmc414•8m 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

2•rbanffy•8m 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...

2•SyntagmaNull•8m ago•0 comments

DeepSeek V4 Is Earning Agentic Token Share

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

2•verdverm•9m ago•0 comments

Bugs Happen: solo PQ compared to ECC+PQ

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

1•aburan28•9m ago•0 comments

Tokentap – Print what your LLM is thinking

https://github.com/jmuncor/tokentap

1•jmuncor•9m 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•10m ago•0 comments

5 frontier LLMs have the same favorite joke

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

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

DGX Spark Local LLM Benchmark: Administrative Tasks

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

1•tasubotadas•13m ago•0 comments

Canonization and the Overhang

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

1•mooreds•16m ago•0 comments

The pursuit of excellence does not need justification

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

2•underdeserver•18m ago•0 comments

Ditching Zotero for a Text File

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

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

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

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

1•John7878781•19m ago•0 comments

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

https://github.com/perplexityai/bumblebee

1•anonli•20m 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•21m 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•22m ago•0 comments

Show HN: A little cat that counts your tokens (Claude and codex)

Spain's Solar Is So Cheap Investors Are Looking for an Exit

Ask HN: What browser extensions or front ends do you use for reading HN, if any?

Show HN: DNSskills.md – agentic skills for certain DNS utilities

The Yoto Music Box Is a Ray of Hope Amid the 'Techlash'

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

Code Is No Longer a Constraint

Show HN: A little cat that counts your tokens (Claude and codex)

Spain's Solar Is So Cheap Investors Are Looking for an Exit

Ask HN: What browser extensions or front ends do you use for reading HN, if any?

Show HN: DNSskills.md – agentic skills for certain DNS utilities

The Yoto Music Box Is a Ray of Hope Amid the 'Techlash'

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