How do CAPTCHAs Work?
corero.com·1d
⚡Proof Automation
The Sliding Window in Haskell & Rust
mmhaskell.com·3d
λLambda Encodings
Threaded Code
muforth.dev·1d·
Discuss: Hacker News
🦀Rust Macros
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·20h·
Discuss: Hacker News
⚡Proof Automation
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Writing Toy Software Is a Joy
quiz.businessexplain.com·11h·
Discuss: Hacker News
🔩Systems Programming
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·4d·
Discuss: Hacker News
🔗Functional Compilers
Data-Driven Dynamic Factor Modeling via Manifold Learning
arxiv.org·10h
🌀Differential Geometry
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
I built a Swift GraphQL client that generates the query using macros
github.com·5h·
Discuss: Hacker News
✅Format Verification
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·2d
🎯Performance Proofs
Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
Video Perception Models for 3D Scene Synthesis
arxiv.org·10h
📐Projective Geometry
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·2d
💻Local LLMs
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·1d
🔍Concolic Testing
Polystate: Composable Finite State Machines
github.com·4d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
PEGTL -- Parsing Expression Grammar Template Library
github.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Learning-based safety lifting monitoring system for cranes on construction sites
arxiv.org·10h
📄Document Digitization
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·17h·
Discuss: DEV
🦀Rust Borrowing
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·2d·
Discuss: DEV
🎯Performance Proofs