Balancing Coupling in Software Design • Vlad Khononov & Sheen Brisals
youtube.com·1d
🧩WASM Components
Understanding Go Error Types: Pointer vs. Value
blog.fillmore-labs.com·1d
📜Proof Carrying Code
Beyond `?`: Why Rust Needs `try` for Composable Effects
reddit.com·2d·
Discuss: r/rust
🐚Shell Monads
Go Interfaces: Favoring Composition Over Inheritance (With a Dash of Common Sense)
hackernoon.com·3d
💧Liquid Types
Connecting A Fresh Node
tedium.co·13h
🖥️Terminal Renaissance
Why People Read Assembly
codestyleandtaste.com·8h·
Discuss: r/programming
🚀Compiler Optimizations
Speed wins when fuzzing Rust code with `#[derive(Arbitrary)]`
nnethercote.github.io·1d·
Discuss: r/rust
🦀Rust Macros
FedCoT: Communication-Efficient Federated Reasoning Enhancement for Large Language Models
arxiv.org·1d
📝ABNF Parsing
Go go goroutines
bitfieldconsulting.com·1d
🧠Program Logic
Song recommendations with free monads
blog.ploeh.dk·5d
🐚Shell Monads
Happy 100000th birthday, Debian
lists.debian.org·12h·
Discuss: Lobsters
❄️Nixpkgs
In Order Traversal in Haskell and Rust
mmhaskell.com·5d·
Discuss: Hacker News
🦀Rust Verification
Anaphoric Macros
letoverlambda.com·1d·
Discuss: Lobsters
🧠Lisp Dialects
Standard Package Layout (2016)
gobeyond.dev·3d·
Discuss: Lobsters
🔗Dependency Resolution
Automated Multi-Modal Protein Expression Analysis via Dynamic Federated Learning
dev.to·8h·
Discuss: DEV
🔍Vector Forensics
My Year of Rust
xavd.id·3d·
Discuss: Hacker News
🦀Rust Macros
Which OS for my first NAS - ProxMox vs TrueNAS?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Efficient Volume Computation for SMT Formulas
arxiv.org·2d
🧮SMT Solvers
Mellea is a library for writing generative programs
mellea.ai·2d·
Discuss: Lobsters, Hacker News
⚡Incremental Computation
I let LLMs write an Elixir NIF in C; it mostly worked
overbring.com·1d·
Discuss: Hacker News
💧Liquid Types