determination: Rust typecheckers for System F and System F-omega (by icefox) — discussion

#plt

Welcoming two new Rust GPU maintainers (via schell) — discussion

#graphics #rust

PYLINGUAL: Toward Perfect Decompilation of Evolving High-Level Languages (by 2elli) — discussion

#python #security

Haiku Activity & Contract Report, October 2024 (via rjzak) — discussion

#osdev

Visualising software architecture with the C4 model (2019) (via stevan) — discussion

#practices #video

XMPP: The Forgotten Gem of Instant Messaging (via kidon) — discussion

#networking

Sanitize Client-Side: Why Server-Side HTML Sanitization is Doomed to Fail (via freddyb) — discussion

#browsers #security #web

FreeBSD 2024 Q3 Status Report (via vermaden) — discussion

#freebsd

The deterioration of Google (via zverok) — discussion

#ai

Yellow Scream (2024) (via vaibhavsagar) — discussion

#art

Proposal for a Django project template (by David-Guillot) — discussion

#practices #web

The evolution of incident response at Podia (via vaibhavsagar) — discussion

#devops #practices

peer to peer but mostly the main peer (2022) (via bitfield) — discussion

#historical #networking

oss-sec: shell wildcard expansion (un)safety (via freddyb) — discussion

#security #unix

2NF: The Missing Use Case (via squadette) — discussion

#databases

The Big Array Size Survey for C (via darichey) — discussion

#c

Implementing Signal’s Double Ratchet algorithm (2020) (via indigo) — discussion

#cryptography

A Science of Concurrent Programs (via danielcompton) — discussion

#formalmethods

Rust Syn Crate Tutorial: Automate Builder Patterns with Custom Macros (via itamarst) — discussion

#rust

getopt() but smaller (by fanf) — discussion

#c