A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·21h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Sets & Heaps in Haskell and Rust
mmhaskell.com·1h
🔒Type Safety
Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.org·6h
💾Binary Linguistics
Song recommendations with F# free monads
blog.ploeh.dk·2h
🔗Functional Compilers
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·1h·
Discuss: Hacker News
📐Linear Algebra
Typeclassopedia
wiki.haskell.org·6h·
Discuss: Hacker News
🧬Functional Programming
CL-JSON Ambiguity
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🧠Lisp Dialects
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·18h·
Discuss: Hacker News
🧪Binary Fuzzing
Optimizing multiprecision LLL in FLINT
fredrikj.net·4d
🧮SMT Solvers
I Tried the App That Promises the Best of Notion and Obsidian, but It’s Uniquely Complicated
makeuseof.com·1d
🗄️Type-safe Archives
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d
🔗Functional Compilers
How Many Paths of Length K Are There Between a and B?
horace.io·13h·
Discuss: Hacker News
🕸️Graph Algorithms
Automated Anomaly Detection in Microfluidic Devices via Hybrid Tensor Decomposition and Spectral Analysis
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Show HN: Novel GPT-2 sampling and memory architecture
github.com·2d·
Discuss: Hacker News
💎Information Crystallography
How to Avoid Thread-Safety Cost for Functions' Static Variables
cppstories.com·1d·
Discuss: Hacker News, r/cpp
🔒Type Safety
Capture Checking in Scala
nrinaudo.github.io·4h·
Discuss: Hacker News
🧪Binary Fuzzing
Cryptography for the Everyday Developer: Understanding AES - The Advanced Encryption Standard
sookocheff.com·2d
🔐Cryptographic Archaeology
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·1d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
Why Semantic Layers Matter—and How to Build One with DuckDB
ssp.sh·1d
🗄️Database Internals
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·1d
🧬Functional Programming