Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms
arxiv.org·9h
🕸️Network Topology
How Many Paths of Length K Are There Between a and B?
horace.io·17h·
Discuss: Hacker News
🕸️Graph Algorithms
Song recommendations with F# free monads
blog.ploeh.dk·6h
🔗Functional Compilers
Sets & Heaps in Haskell and Rust
mmhaskell.com·4h
🔒Type Safety
Deep Think with Confidence
arxiviq.substack.com·22h·
Discuss: Substack
💻Local LLMs
Teaching programming languages
kmjn.org·1h
💻Programming languages
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·13h
🧪Binary Fuzzing
Why a simple for loop (brute-force k-NN) becomes computationally impossible for modern AI applications
dev.to·4h·
Discuss: DEV
🧮Kolmogorov Complexity
Sound and Solution-Complete CCBS
arxiv.org·9h
🛡️Archive Verification
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·1d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
International Conference on Enumerative Combinatorics and Applications ICECA 2025 (August 25-27, 2025)
gilkalai.wordpress.com·1d
🔗Combinatory Logic
busy beaver function
ncatlab.org·2d
⚔️Lean Theorem
Memory optimizations to reduce CPU costs
ayende.com·2h·
Discuss: Hacker News
📝Text Compression
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com·4d·
Discuss: Hacker News, r/programming
⚡Performance Mythology
Breaking the Architecture Bottleneck • Andrew Harmel-Law & Marit van Dijk • GOTO 2025
youtube.com·1h
🔗Topological Sorting
Capture Checking in Scala
nrinaudo.github.io·8h·
Discuss: Hacker News
🧪Binary Fuzzing
Not So Prompt: Prompt Optimization as Model Selection
gojiberries.io·1d·
Discuss: Hacker News
⚙️Compression Benchmarking
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
NOSTRA: A noise-resilient and sparse data framework for trust region based multi objective Bayesian optimization
arxiv.org·9h
🔍Vector Forensics
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·1h
🌊Stream Processing