Efficient Volume Computation for SMT Formulas
arxiv.org·1h
🧮SMT Solvers
Swift for the Web
nicksloan.com·1d·
Discuss: Hacker News
🔬Refinement Types
Placing Arguments
blog.yoshuawuyts.com·1d
🦀Rust Macros
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·6h·
Discuss: Hacker News
✅Format Verification
Knowledge and Common Knowledge in a Distributed Environment, Part 1
emptysqua.re·18h
🔲Cellular Automata
Haskell Crash Course
yager.io·1d
🔗Lisp
Standard Package Layout (2016)
gobeyond.dev·11h·
Discuss: Lobsters
🔗Dependency Resolution
Private Set Intersection and other Set Operations in the Third Party Setting
usenix.org·22h
🔐Homomorphic Encryption
Liveness analysis with Datalog
bernsteinbear.com·1d
🦀Rust Macros
Comparison of Generic Container Libraries for C
github.com·15h·
Discuss: Hacker News
💧Liquid Types
Go Interfaces: Favoring Composition Over Inheritance (With a Dash of Common Sense)
hackernoon.com·22h
💧Liquid Types
I chose OCaml as my primary language
xvw.lol·11h·
Discuss: Lobsters, Hacker News, r/programming
🧬Functional Programming
Mathematician Finds Easier Way to Solve Quadratic Equations
popularmechanics.com·16h
🔢Reed-Solomon Math
State of torch.compile for training (August 2025)
blog.ezyang.com·30m·
Discuss: Hacker News
🦀Rust Macros
Flexibility to Framework: Building MCP Servers with Controlled Tool Orchestration
aws.amazon.com·21h
🔌Interface Evolution
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
arxiv.org·1h
🌐Protocol Synthesis
My Year of Rust
xavd.id·3h·
Discuss: Hacker News
🦀Rust Macros
Build Your Own AI Stock Portfolio Agent with LlamaIndex + AG-UI
dev.to·16h·
Discuss: DEV
⚔️Lean Tactics
Mathematical Computation and Reasoning Errors by Large Language Models
arxiv.org·2h·
Discuss: Hacker News
👑Isabelle
Programming languages and dimensions of units of measure
cl.cam.ac.uk·3d·
Discuss: Hacker News
💻Programming languages