Discrete Mathematics Without Formulas – Lectures Without a Board
archive.org·8h·
Discuss: Hacker News
📐Mathematical Computing
Basic Consequences: On Information And Agency
3quarksdaily.com·1d
💫Effect Systems
PHP: A fractal of bad design (2012)
eev.ee·1d·
Discuss: Hacker News
🔄Bootstrapping
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·4d·
Discuss: Hacker News
🎯Type Theory
K-shot training with LLMs
dev.to·1h·
Discuss: DEV
🔍ML Language
BTQ Technologies and Macquarie University Publish Peer Reviewed Breakthrough that Simplifies Quantum Error Correction for Scalable Systems
prnewswire.com·10h
📡Erlang BEAM
Stress Testing Deliberative Alignment for Anti-Scheming Training
lesswrong.com·4h
🎲Parser Fuzzing
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·2d
⏭️Skip Lists
Advanced Dependency Injection Patterns Beyond Service Containers
dev.to·8h·
Discuss: DEV
🔧API Design
Visual Exploration of Gradient Descent (many images)
lesswrong.com·8h
🔮Type Inference Visualization
Feedback on my first library
reddit.com·2d·
Discuss: r/rust
🚂Cranelift Backend
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🎯Finite Automata
Greyscale-box test-driven development
blog.ploeh.dk·2d
🧪Compiler Testing
LLMs: Erase the Past, Preserve the Future
dev.to·1d·
Discuss: DEV
🔗Memory Linearization
FastProxy: A Go Blueprint for Enterprise-Grade Service Proxies
github.com·14h·
Discuss: DEV
🛡️Capability VMs
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·6d·
Discuss: Hacker News
🔮Type Inference Visualization
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.org·1d
⚖️Inference Rules
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🔮Lisp Interpreters
Unlocking Boolean Clarity: Visualize Logic with State Algebra by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🧩SAT Solvers
Contrastive Learning with Enhanced Abstract Representations using Grouped Loss of Abstract Semantic Supervision
arxiv.org·17h
📋S-Expression