How to reason from first principles
caseyhandmer.wordpress.com·7m
🎯Proof Tactics
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·2d·
Discuss: r/programming
✅Format Verification
Sandcastles Made of Bits
jsfour.substack.com·13h·
Discuss: Substack
🧱Immutable Infrastructure
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·15h
🧮Z3 Solver
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Grammatical Structure and Grammatical Variations in Non-Metric Iranian Classical Music
arxiv.org·15h
🎼Computational Musicology
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·3d·
Discuss: Hacker News
🔗Functional Compilers
I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·4d·
Discuss: Hacker News
💻Programming languages
HKGAI-V1: Towards Regional Sovereign Large Language Model for Hong Kong
arxiv.org·15h
🎙️Whisper
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·20h·
Discuss: Hacker News
🌐WASI
Sandboxing AI - Extending AI Responsibly
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·1d
✨Effect Handlers
Grok 4 Arrives With Impressive Coding Powers
hackernoon.com·2d
🎯Gradual Typing
How I Built an App in 7 Hours with Gemini, Gemini CLI and Gemini Code Assist
medium.com·1h·
Discuss: Hacker News
🦋Format Metamorphosis
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org·15h
💻Local LLMs
Binding Application in Idris
andrevidela.com·5d·
Discuss: Lobsters, Hacker News, r/programming
🔤Type Theory
Janet Feature Demos
github.com·12h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
MediaMind AI - Intelligent Content Discovery Platform with Algolia MCP Server
dev.to·4h·
Discuss: DEV
🧭Content Discovery
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·1d
🔢Denotational Semantics
Simplify your Agent "vibe building" flow with ADK and Gemini CLI
developers.googleblog.com·12m
⚔️Lean Tactics