My Year of Rust
xavd.id·3d·
Discuss: Hacker News
🦀Rust Macros
Which OS for my first NAS - ProxMox vs TrueNAS?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Efficient Volume Computation for SMT Formulas
arxiv.org·3d
🧮SMT Solvers
The Tech Behind Geotoy
cprimozic.net·3h·
Discuss: Lobsters
📟Terminal Physics
Mellea is a library for writing generative programs
mellea.ai·2d·
Discuss: Lobsters, Hacker News
⚡Incremental Computation
Programming languages and dimensions of units of measure
cl.cam.ac.uk·6d·
Discuss: Hacker News
💻Programming languages
Autonomous Fleet Routing Optimization via Multi-Constraint Bayesian Optimization and Digital Twin Simulation
dev.to·17h·
Discuss: DEV
⚡Z3 Optimization
I let LLMs write an Elixir NIF in C; it mostly worked
overbring.com·1d·
Discuss: Hacker News
💧Liquid Types
Swift for the Web
nicksloan.com·4d·
Discuss: Hacker News
🔬Refinement Types
Automated Fault Characterization via Dynamic Behavioral Fingerprinting in Embedded Systems
dev.to·1d·
Discuss: DEV
👁️System Observability
Coalton Playground: Type-Safe Lisp in the Browser
abacusnoir.com·3d·
Discuss: Lobsters, Hacker News
🔗Lisp
Reserve First
matklad.github.io·1d
🔒Type Safety
A programmer's field guide to assertions
typesanitizer.com·2h·
Discuss: Lobsters
📜Proof Carrying Code
On the synchronization between Hugging Face pre-trained language models and their upstream GitHub repository
arxiv.org·2d
🕰️RetroCRDTs
Save memory and CPU with an interning cache
chrispenner.ca·5d
⚡Cache Theory
Branch prediction: Why CPUs can't wait? - namvdo's blog
namvdo.ai·1d·
Discuss: r/compsci, r/programming
⚡CPU Microarchitecture
Stacks in Python — A Practical Guide to LIFO Data Structures
thenewstack.io·1d
🔗Concatenative Programming
Faceclick: A lightweight Emoji picker with keyword search
ratfactor.com·17h·
Discuss: Lobsters
📝Text Compression
Show HN: FilterQL – A tiny query language for filtering structured data
github.com·2d·
Discuss: Hacker News
✅Format Verification
Unducking Typescript primitive aliases
zerotrickpony.com·6d·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing