Takeaway: a work-stealing task queue library for Rust
bal-e.org·22h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Thoughts on creating a tracking pointer class, part 1: Concept art
devblogs.microsoft.com·23h
🔄Lens Laws
Understanding Users' Privacy Perceptions Towards LLM's RAG-based Memory
arxiv.org·9h
💻Local LLMs
Song recommendations with free monads
blog.ploeh.dk·1d
🐚Shell Monads
Programming languages and dimensions of units of measure
cl.cam.ac.uk·1d·
Discuss: Hacker News
💻Programming languages
Optimising Docker Layers for Better Caching with Nix - Graham Christensen
grahamc.com·22h
📦METS Containers
Kigen eUICC issue (custom backdoor vs. FW update bug)
seclists.org·5h
🛡️eBPF Security
Unlocking Ractors: generic instance variables
byroot.github.io·1d
🔒Type Safety
In Order Traversal in Haskell and Rust
mmhaskell.com·1d·
Discuss: Hacker News
🦀Rust Verification
How Did I Possibly Break This?
funcall.blogspot.com·6h·
Discuss: www.blogger.com
🎯Gradual Typing
Adding Elements to Python Sets
dev.to·18h·
Discuss: DEV
🧮Algebraic Datatypes
Cactus Language • Pragmatics 13
inquiryintoinquiry.com·53m
🔢Denotational Semantics
Lambdas, Nested Functions, and Blocks
thephd.dev·14h·
Discuss: Hacker News
🐚Shell Combinators
Using traversals to batch database queries
chrispenner.ca·1d·
Discuss: Hacker News
⚙️Batch Processing
Syncthing 2.0 Released
github.com·7h·
Discuss: Hacker News, r/linux
📲syncthing
The Stochastic Code Monkey Theorem
stephendiehl.com·12h
📏Code Metrics
My tiny (1000 lines), fastish, embeddable scripting language can be AOT compiled
wareya.wordpress.com·8h·
Discuss: Lobsters, Hacker News
🏗️Compiler Archaeology
Distributed Systems 101
mrinalxdev.github.io·4d·
Discuss: Hacker News
🤝Distributed Consensus
[Media] Tur - A language for defining and executing Turing machines with multi-platform visualization tools (Web, TUI and CLI) written in Rust 🦀
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
CodeSOD: A Single Lint Problem
thedailywtf.com·1d
🔒Type Safety