fp.

FoodCal – Snap and Track: Log a meal by talking to it

https://foodcal.app

1•akizi•37s ago•0 comments

Show HN: DemandMap – Memory Mapping S3 into Polars on macOS Without FUSE

https://github.com/sonthonaxrk/demandmap

1•sonthonax•2m ago•0 comments

Common prefix skipping adaptive sort

http://smalldatum.blogspot.com/2026/01/common-prefix-skipping-adaptive-sort.html

1•theanonymousone•2m ago•0 comments

Open Hands has a pretty Repo Visualization

https://www.reddit.com/r/PrincipalAi/s/eRRiNWjCft

1•fernando-ram•3m ago•0 comments

Bulletproof Hosting

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

1•mmarian•4m ago•0 comments

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

https://jpthecat.com

1•saddington•7m 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...

2•mooreds•7m ago•1 comments

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

1•GaryBluto•8m ago•2 comments

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

https://dnsskills.md

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

You Don't Know Jack About Formal Verification

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

2•aravindputrevu•10m ago•1 comments

I'm playing around with SEO / AEO / GEO

https://www.youdidwhatwithai.com/

2•thewebuiguy•12m ago•0 comments

"What is the terminal?" – Jon Udell

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

2•rbanffy•12m ago•0 comments

A Mind, a Body, and a Place to Work

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

2•mauryaudayan•13m ago•0 comments

Guest Post: Atari Origins – By Mark Miller

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

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

3•Jimmc414•13m 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•14m 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•14m 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•14m ago•0 comments

DeepSeek V4 Is Earning Agentic Token Share

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

2•verdverm•15m ago•0 comments

Bugs Happen: solo PQ compared to ECC+PQ

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

1•aburan28•15m ago•0 comments

Tokentap – Print what your LLM is thinking

https://github.com/jmuncor/tokentap

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

5 frontier LLMs have the same favorite joke

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

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

DGX Spark Local LLM Benchmark: Administrative Tasks

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

1•tasubotadas•19m ago•0 comments

Canonization and the Overhang

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

1•mooreds•22m ago•0 comments

The pursuit of excellence does not need justification

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

2•underdeserver•24m ago•0 comments

Ditching Zotero for a Text File

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

1•speckx•25m ago•0 comments

FoodCal – Snap and Track: Log a meal by talking to it

Show HN: DemandMap – Memory Mapping S3 into Polars on macOS Without FUSE

Common prefix skipping adaptive sort

Open Hands has a pretty Repo Visualization

Bulletproof Hosting

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

Microsoft – The latest in our company transformation

FoodCal – Snap and Track: Log a meal by talking to it

Show HN: DemandMap – Memory Mapping S3 into Polars on macOS Without FUSE

Common prefix skipping adaptive sort

Open Hands has a pretty Repo Visualization

Bulletproof Hosting

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