Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·4h
⚡functional programming
Iterator Helpers For Lazy Computation in Javascript
reddit.com·3h·
Discuss: r/javascript
🗑️Garbage Collection
Beating the L1 cache with value speculation (2021)
mazzo.li·9h·
Discuss: Lobsters
🔮Branch Predictors
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·22h
🔒Rust Borrowing
Design Principle: Composable Services
sleepingpotato.com·12h·
Discuss: Hacker News
🔀Control Structures
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
⚡functional programming
Is Odin Just a More Boring C?
dayvster.com·14h·
Discuss: Hacker News
🐹Go Internals
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·46m·
Discuss: Substack
🖥️Minimal VMs
compile times... C void* vs <T>(&mut T ..)
reddit.com·11h·
Discuss: r/rust
🎪Staged Compilation
TypeScript Flaws (2024)
intercaetera.com·24m·
Discuss: Hacker News
📋Template Compilers
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·18h
🚪Function Prologues
The Compiler's Secret: How Coroutines Actually Work
dev.to·9h·
Discuss: DEV
🔄Coroutines
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·19h
🌳Tree Shaking
Souvenir
deprogrammaticaipsum.com·22h
🔗Weak References
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·2d·
Discuss: Hacker News
🪜Recursive Descent
New comment by debugnik in "A comparison of Ada and Rust, using solutions to the Advent of Code"
news.ycombinator.com·1d·
Discuss: Hacker News
🔒Rust Borrowing
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
Why I think ECL shouldn’t make you update your cause prio
lesswrong.com·12h
⚡Fusion Laws
Highly concurrent in-memory counter in GoLang
engineering.grab.com·1d
🧠Memory Models
<p>**Abstract:** This paper introduces a novel framework for formally verifying the collision avoidance behavior of autonomous drone swarms operating in complex...
freederia.com·4h
🎯Symbolic Execution