AI Agents Are Getting Better at Writing Code—and Hacking It as Well
wired.com·1h
🔓Hacking
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·1d
🔍Type Inference
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·37m·
Discuss: Hacker News
⚡Proof Automation
If You Want to Learn Algebra, You Need to Have Automaticity on Basic Arithmetic
justinmath.com·1d·
Discuss: Hacker News
📚Proof Pedagogy
Accumulation of Cognitive Debt When Using an AI Assistant for Essay Writing Task
media.mit.edu·1d·
Discuss: Hacker News
🧠Intelligence Compression
Machine Learning Fundamentals: active learning
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
I Built an AI Copilot for Pentesting—Then Turned It Off
hackernoon.com·11h
📏Code Metrics
How to (Almost) solve cybersecurity once and for all
adaptive.live·21h·
Discuss: Hacker News
🔐Systems Hardening
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·7h·
Discuss: Hacker News, r/programming
🔗Lisp
The Agent Testing Pyramid
rchaves.app·2h·
Discuss: Hacker News
🔍Concolic Testing
Encouraging the use of LLMs made interviews easier (for us as interviewers)
danieltan.weblog.lol·9h·
Discuss: Hacker News
📐Proof Assistants
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·14h
🧠Intelligence Compression
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·5d
🧮Theorem Proving
The Backtester's Edge: How Code and AI Transform Your Strategy Game
fractiz.com·1h·
Discuss: Hacker News
⚡Proof Automation
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
Reinforcement Learning Teachers of Test Time Scaling
sakana.ai·2d·
Discuss: Hacker News
⚔️Lean Tactics
Amplifying Machine Learning Attacks Through Strategic Compositions
arxiv.org·1d
⚔️Lean Tactics
Is Your Automated Software Engineer Trustworthy?
arxiv.org·1d
⚡Proof Automation