"Focus" in Spanish?
languagelog.ldc.upenn.edu·2h
📼Tape Linguistics
Researchers glimpse the inner workings of protein language models
news.mit.edu·4h
🔢Denotational Semantics
The System Inside the System
worksonmymachine.ai·19h·
Discuss: Lobsters, Hacker News
🔲Cellular Automata
GPT-5 goes hard on real-world programming
omerba.dev·10h·
Discuss: Lobsters, Hacker News
✅Format Verification
Spiral-Bench: A new benchmark measuring LLM sycophancy and delusion
eqbench.com·17h·
Discuss: Hacker News
🧪Binary Fuzzing
Recto: In Case Programming isn’t Hard Enough
hackaday.com·1d
📝Concrete Syntax
LLM from scratch, part 18 – residuals, shortcut connections, and the Talmud
gilesthomas.com·3h·
Discuss: Hacker News
📊Quantization
Indirect Prompt Injections Exploit Context, Format, and Salience
fogel.dev·3h·
Discuss: Lobsters, Hacker News
🧪Protocol Fuzzing
Encoding and Reasoning About Arrays in Set Theory
arxiv.org·19h
💻Programming languages
AGI's Moving Finish Line
signalfire.com·3h·
Discuss: Hacker News
🧮Theorem Proving
LoRAtorio: An intrinsic approach to LoRA Skill Composition
arxiv.org·19h
🌀Brotli Internals
Hallucination in LLM-Based Code Generation: An Automotive Case Study
arxiv.org·19h
💻Programming languages
Interpolation in Classical Propositional Logic
arxiv.org·19h
🔗Combinatory Logic
Using a local LLM AI agent to solve the N puzzle
dev.to·7h·
Discuss: DEV
🔲Cellular Automata
The C Pointer Card Game - Pointers, Arrays and Strings for Kids
punkx.org·1d·
Discuss: Hacker News
⚡Homebrew CPUs
Perfect Counterfactuals in Imperfect Worlds: Modelling Noisy Implementation of Actions in Sequential Algorithmic Recourse
arxiv.org·19h
📼Tape Combinators
The Dogs in Pursuit Problem
theguardian.com·7h·
Discuss: Hacker News
λLambda Encodings
The Constraint Satisfaction Problem Over Multisorted Cores
arxiv.org·19h
🎨Graph Coloring
A Better Vocabulary for Testing
alperenkeles.com·2d·
Discuss: Lobsters, r/compsci, r/programming
🔍Concolic Testing
Beyond Booleans
overreacted.io·2d·
Discuss: Lobsters, r/javascript, r/programming, r/typescript
🔲Proof Irrelevance