Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Introduction to Psychology: Foundations: Skinner
youtube.com·8h
📡Information theory
Flag this post
Solver for hydrodynamic sensitivity analysis of wave-structure interactions
sciencedirect.com·13h·
Discuss: Hacker News
🌀Differential Geometry
Flag this post
Mr. Markov's Merry-Go-Round
birbstreet.substack.com·2h·
Discuss: Substack
🔲Cellular Automata
Flag this post
YAML Tutorial: A Complete Language Guide with Examples
spacelift.io·4h·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
Programming Languages as Languages (2014)
programmingzen.com·1d·
💻Programming languages
Flag this post
Book review: Overfitting and heuristics in philosophy
ndpr.nd.edu·2d·
Discuss: Hacker News
🔲Proof Irrelevance
Flag this post
Mastering Lock-Free Data Structures in Go: Ring Buffers, Queues, and Performance Optimization
dev.to·1d·
Discuss: DEV
Hardware Transactional Memory
Flag this post
The Machine Learning Lessons I’ve Learned This Month
towardsdatascience.com·6h
🚀SIMD Text Processing
Flag this post
The Essence of Prompt Engineering Is the Art of Asking Questions
ramsayleung.github.io·2d·
Proof Automation
Flag this post
GSoC '25: Parallel Macro Expansion
lorrens.me·1d·
Discuss: r/rust
🦀Rust Macros
Flag this post
Weak-to-Strong Generalization under Distribution Shifts
arxiv.org·21h
📊Learned Metrics
Flag this post
Don’t Make Assumptions About Assertions: Even with AI you still have to write your unit tests
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Flag this post
Ken Thompson's "Trusting Trust" compiler backdoor - Now with the actual source code (2023)
micahkepe.com·3d·
💻Programming languages
Flag this post
I stopped looking for a single perfect AI coder and combined a web UI and CLI
xor01.substack.com·1d·
Discuss: DEV, Substack
⚔️Lean Tactics
Flag this post
Beyond Arithmetic: Understanding Computation and Computers
madeunraveled.xyz·4d·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
Zen Of Python: 19 Rules For Clean, Readable, And Elegant Code
dev.to·14h·
Discuss: DEV
💻Programming languages
Flag this post
Instance-Adaptive Hypothesis Tests with Heterogeneous Agents
arxiv.org·21h
🔲Cellular Automata
Flag this post
CXRAgent: Director-Orchestrated Multi-Stage Reasoning for Chest X-Ray Interpretation
arxiv.org·21h
Proof Automation
Flag this post
Additive Models Explained: A Computational Complexity Approach
arxiv.org·21h
🧮Kolmogorov Complexity
Flag this post