• your nooks
• add yours

A new EDIT tool for LLM agents

My 40-liter backpack travel guide

Using algebra and LLMs to verify a flight-plan bug fix in Lean

LLMCap – A proxy that hard-stops LLM API calls when you hit a dollar cap

Compute Optimal Tokenization: Scaling Laws for Data Compression in LLMs

Data centers raise nearby temperatures by up to 4 degrees in Phoenix

A shallow dive into formal verification

The last six months in LLMs in five minutes

Surface owner loses their limited 50th Anniversary edition after a repair swap

Nitsum: Serving Tiered LLM Requests with Adaptive Tensor Parallelism

SuperInfer: SLO-Aware Rotary Scheduling and Memory Management for LLM Inference

What political censorship looks like inside an LLM's weights (Qwen 3.5)

EPA and HHS propose rescinding parts of Biden's PFAS limits in drinking water

LLMs have no structural place for non-knowledge

Managing metadata is essential in LLM world

Show HN: Tracecast – open-source generative data apps built on top of Marimo

X accounts are limited to 50 posts and 200 replies a day unless they pay

Fixing LLM Writing with Distribution Fine Tuning