Typst 0.13 is out now: Experimental HTML export, semantic paragraphs, and more (via isuffix) — discussion

#release

modview: Effortlessly visualize mod graph with all external dependencies for your Go projects (via ucirello) — discussion

#go

GymTok: Breaking TLS Using the Alt-Svc Header (via freddyb) — discussion

#networking #security #web

When Imperfect Systems are Good, Actually: Bluesky’s Lossy Timelines (via rrampage) — discussion

#databases #distributed

So you want better debug info? (via mqudsi) — discussion

#debugging #rust

Multiple Vulnerabilities in U-Boot (via freddyb) — discussion

#security

A collection of code examples from prominent open-source projects (2021) (via ztoz) — discussion

#education

The secret maze of Debian images (via calvin) — discussion

#linux

An open source FPGA toolchain for a large European space-grade FPGA (via pbsds) — discussion

#hardware #release

Testing concurrent code with testing/synctest - The Go Programming Language (via cgrinds) — discussion

#go #testing

Relaxed Radix Balanced Trees | Peter Horne-Khan (via jasonjmcghee) — discussion

#plt

Greg Kroah-Hartman Makes A Compelling Case For New Linux Kernel Drivers To Be Written In Rust (via lonami) — discussion

#linux #rust

HTTP3, 2, 1 (by maxm) — discussion

#go #networking #web

Being a happy Nixer on a Mac (by zupo) — discussion

#mac #nix

The Pain Of Linear Types In Rust [2017] (via stip) — discussion

#plt #rust

Where are all the Rewrite Rules? (via felixyz) — discussion

#formalmethods #math #programming

Russian phishing campaigns exploit Signal's device-linking feature (via johnk) — discussion

#security

Changing every line three times (via napkindrawing) — discussion

#practices

Proposal: Starting tasks synchronously from caller context (via kevinc) — discussion

#swift

Programming with Math | The Lambda Calculus (via confusedalex) — discussion

#math #video