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

Let's Take a Look at... KIP-932: Queues for Kafka (via rmoff) — discussion

#distributed #programming

The case of the vanishing CPU: A Linux kernel debugging story (via jmillikin) — discussion

#debugging #linux #performance

xdg-ninja: A shell script which checks your $HOME for unwanted files and directories (via pointlessone) — discussion

#practices #unix

Is it true what they say: "Lobsters love Guinness"? (by pirofti) — discussion

#art #culture #historical