Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms
arxiv.org·19h
🕸️Network Topology
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·2h
⚙️Proof Engineering
FLINT: Fast Library for Number Theory
flintlib.org·5h
🧮Algebraic Datatypes
How to Benchmark Classical Machine Learning Workloads on Google Cloud
towardsdatascience.com·2h
⚡Performance Mythology
Song recommendations with F# free monads
blog.ploeh.dk·16h
🔗Functional Compilers
Sets & Heaps in Haskell and Rust
mmhaskell.com·15h
🔒Type Safety
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·13h
🤝Paxos Consensus
Notes on Autograd
aschrein.github.io·5h·
Discuss: Hacker News
⚡Incremental Computation
Teaching programming languages
kmjn.org·11h
💻Programming languages
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·9h·
Discuss: Hacker News
✅Format Verification
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·5h·
Discuss: Substack
🔗Topological Sorting
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·23h
🧪Binary Fuzzing
Sound and Solution-Complete CCBS
arxiv.org·19h
🛡️Archive Verification
Deep Think with Confidence
arxiviq.substack.com·1d·
Discuss: Substack
💻Local LLMs
Why a simple for loop (brute-force k-NN) becomes computationally impossible for modern AI applications
dev.to·15h·
Discuss: DEV
🧮Kolmogorov Complexity
Memory optimizations to reduce CPU costs
ayende.com·13h·
Discuss: Hacker News
📝Text Compression
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·2d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
busy beaver function
ncatlab.org·2d
⚔️Lean Theorem
OpenAI: Building the "Everything Platform" in AI
leoniscap.com·5h·
Discuss: Hacker News
🤖AI Curation