Eliminate Branches by Melding IR Instructions (via asb) — discussion

#compilers #pdf

LispMe: An Implementation of Scheme for the Palm Pilot (via lorddimwit) — discussion

#lisp #plt

Inline PGP signatures considered harmful (2014) (via fanf) — discussion

#cryptography #security

Who Invented the Transistor? (via kwas) — discussion

#historical #science

Using The Corne Split Keyboard For Half A Year (via aiono) — discussion

#hardware

I Fed 24 Years of My Blog Posts to a Markov Model (via aashvik) — discussion

#python

Modular Monolith and Microservices: Data ownership, boundaries, consistency and synchronization (by BinaryIgor) — discussion

#programming

A SOLID Load of Bull (by Loup-Vaillant) — discussion

#programming

Fixing a Buffer Overflow in UNIX v4 Like It's 1973 (by rw-rw-rw-) — discussion

#unix

Moving Towards a New "core:os" (via geoffb) — discussion

#programming

Mastodon Stories for systemd v259 (via laktak) — discussion

#systemd

What I've Learned Writing Gleam (via briankung) — discussion

#gleam

7 Practical std::chrono Calendar Examples (C++20) (via raymii) — discussion

#c++

runST does not prevent resources from escaping (via abhin4v) — discussion

#haskell

ASK: What are some interesting projects that you've done this year? (by runxiyu)

#ask #programming

Simple Bidirectional Type Inference (via asb) — discussion

#plt #rust

OpenSSL Performance Still Under Scrutiny (via fanf) — discussion

#cryptography #performance

Why we trust strangers’ open source more than our colleagues’ (via cry-inc) — discussion

#practices #programming

Cross-site Scripting-benchmark of python sanitizers against real browsers (by EmilStenstrom) — discussion

#python #security

Turning Dafny Sets into Sequences (by larrytheliquid) — discussion

#formalmethods #video