Prolly Trees (via iamwil) — discussion

#programming

awesome-embedded-rust: Curated list of resources for Embedded and Low-level development in the Rust programming language (via kaycebasques) — discussion

#hardware #rust

Algebraic effects are a functional approach to manage side effects (via iamwil) — discussion

#programming

Five years of home-cooked apps (via carlana) — discussion

#programming

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods (via ahelwer) — discussion

#formalmethods

(2009) Composing J in my mind (via yoshi) — discussion

#apl

From unique to cleanups and weak: new low-level tools for efficiency (via cgrinds) — discussion

#go

Succinct data structures (via sam_ezeh) — discussion

#compsci #programming

Types as a design tool (by iamwil) — discussion

#programming

To B or not to B: B-Trees with Optimistic Lock Coupling (via av) — discussion

#databases

Strobelight: A profiling service built on open source technology (via theelx) — discussion

#linux #performance

Distributed Systems without Raft (part 1) (by linkdd) — discussion

#distributed #go #programming

xit is coming (via matklad) — discussion

#vcs #zig

The ZAnt Project (via snej) — discussion

#ai #hardware #zig

We’re fixing Edge Computing: Introducing Magic Containers (via ggpsv) — discussion

#devops #distributed #networking

Chat Bots Revisited (by solomon) — discussion

#haskell

My changes to the default Phoenix boilerplate (by mediremi) — discussion

#elixir

Writing an OLED display driver in MicroZig (by cnln) — discussion

#hardware #zig

Testing Causality in Scientific Modelling Software (via itamarst) — discussion

#pdf #testing

50 years in filesystems: 1984 (via schmudde) — discussion

#freebsd #osdev