Claude Code's 19 cent Parser
blogger.com·1d
🔧Binary Parsers
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·7h·
Discuss: Hacker News
🦀Rust Macros
Reloading classes in python and shared borders
andrewpwheeler.com·14h·
Discuss: Hacker News
🦀Rust Macros
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·2d
🧪Binary Fuzzing
A Model for all Ranges
qt.io·11h·
Discuss: Lobsters, Hacker News, r/programming
🧩SQLite Extensions
Trying to get error backtraces in rust libraries right
iroh.computer·8h·
Discuss: Lobsters, Hacker News, r/rust
🔒Linear Types
Drama Model Inference Efficiency Boosted by 1.7x-2.3x
pytorch.org·1h·
Discuss: Hacker News
🚀SIMD Text Processing
Do I not like Ruby anymore? (2024)
sgt.hootr.club·18h·
Discuss: Hacker News, r/programming
🎯Gradual Typing
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·12h·
Discuss: Hacker News
⚔️Lean Tactics
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·1d·
Discuss: Hacker News
✅Format Verification
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·17h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🦾ARM Assembly
StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·51m
🦀Embedded Rust
Nil Pointer Panic at 3 AM: Choosing the Right Go Database Tool to Save Your Sleep
dev.to·8h·
Discuss: DEV
🧩SQLite Extensions
Hot Reloading for Rust Gamedev
rygoldstein.com·21h·
Discuss: Hacker News
🦀Rust Macros
Nullable vs. Nullable in C#
einarwh.no·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·11h
📐Geometric Hashing
How to Avoid Thread-Safety Cost for Functions' Static Variables
cppstories.com·3d·
Discuss: Hacker News, r/cpp
🔒Type Safety
Memory optimizations to reduce CPU costs
ayende.com·1d·
Discuss: Hacker News
📝Text Compression