The Feedback Loop
pablofernandez.tech·2h
🎯Threat Hunting
A very short book note
logicmatters.net·5d
⚔️Lean Theorem
What Problems to Solve – By Richard Feynman
genius.cat-v.org·6h·
Discuss: Hacker News
⚛️Information Physics
Stop Chasing “Efficiency AI.” The Real Value Is in “Opportunity AI.”
towardsdatascience.com·6h
🌊Stream Processing
The Guide to the Foundation Models Framework
azamsharp.com·10h·
Discuss: Hacker News
λLambda Formalization
What LLMs Know About Their Users
schneier.com·12h·
Discuss: Hacker News
💻Local LLMs
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
How Hard is it to be a Star? Convex Geometry and the Real Hierarchy
arxiv.org·1d
🕸️Algebraic Topology
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·6h·
Discuss: Hacker News
⚡Proof Automation
Encouraging the use of LLMs made interviews easier (for us as interviewers)
danieltan.weblog.lol·14h·
Discuss: Hacker News
📐Proof Assistants
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·10h·
Discuss: DEV
📏Code Metrics
A Comment On "The Illusion of Thinking": Reframing the Reasoning Cliff as an Agentic Gap
arxiv.org·20h
🔲Cellular Automata
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·2h·
Discuss: DEV
🦀Rust Borrowing
Structural Optimal Jacobian Accumulation and Minimum Edge Count are NP-Complete Under Vertex Elimination
arxiv.org·1d
🎯Performance Proofs
Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic
Machine Learning Fundamentals: active learning
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
Deciding Termination of Simple Randomized Loops
arxiv.org·1d
🌳Persistent Data Structures
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages