Unsplittable Cost Flows from Unweighted Error-Bounded Variants
arxiv.org·3h
🌸Bloom Variants
Flag this post
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 4: programming
gautiersblog.blogspot.com·1d·
Discuss: gautiersblog.blogspot.com, Hacker News
📦Deflate
Flag this post
Mastering Lock-Free Data Structures in Go: Ring Buffers, Queues, and Performance Optimization
dev.to·8h·
Discuss: DEV
⚡Hardware Transactional Memory
Flag this post
HigherOrderCO/Bend2
github.com·1d
🔗Functional Compilers
Flag this post
Problems from the Land down Under
pballew.blogspot.com·2h·
Discuss: www.blogger.com
📜Manuscript Calculus
Flag this post
Concrete types yield better maintainability
alejo.ch·1d·
Discuss: Hacker News, r/programming
🔗Dependently Typed
Flag this post
A moonlit week
blog.mitrichev.ch·14h·
Discuss: blog.mitrichev.ch
λLambda Encodings
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·15h·
Discuss: Hacker News
🌳Context free grammars
Flag this post
Weekly Challenge: The one about arrays
dev.to·19h·
Discuss: DEV
📊APL Heritage
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·11h·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
Goodbye Guesswork: Code Generation That Knows What It Doesn't Know
dev.to·2h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Flat Combining: A Simple Rust Experiment
khayyamguliyev.substack.com·2d·
Discuss: Substack
⚡Hardware Transactional Memory
Flag this post
Modern perfect hashing
blog.sesse.net·3d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Flag this post
A Vision for Future Low-Level Languages
antelang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Flag this post
Cryptographic Algorithms Identification in Java Bytecode
binarly.io·3d
📏Code Metrics
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·13h·
Discuss: Hacker News
📐Format Grammars
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.app·1d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
Distroless Containers for Corporate Use: Nix Flakes vs. Fedora
blog.riemann.cc·15h·
Discuss: Lobsters, Hacker News
❄️Nix Adoption
Flag this post
The Power of Framework Dimensions: What Data Scientists Should Know
towardsdatascience.com·15h
📇Indexing Strategies
Flag this post
A bestiary of single-file programming language implementations
github.com·10h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post