Our optimizers need a rethink (via brendan) — discussion

#compilers #databases

On the Importance of Typing Fast (2023) (via bitfield) — discussion

#practices

The Useless Web (via svag) — discussion

#games #web

Sudoku solving in python packaging (via knl) — discussion

#art #python

Adding row polymorphism to Damas-Hindley-Milner (via surprisetalk) — discussion

#plt

Progress at the first few months working full time on Bevyengine (via l1npengtul) — discussion

#rust

Kronos: Soviet Processor Family for High-Level Languages (2006) (via mepian) — discussion

#hardware #historical #osdev #pdf

A Relational Model of Data for Large Shared Data Banks (1970) (via hwayne) — discussion

#databases #historical #pdf

A deep look into our new massive multitenant architecture (via emschwartz) — discussion

#databases #rust

BazelCon 2024 recap (by jmmv) — discussion

#devops #programming

A report from the 2024 Image-Based Linux Summit (via Foxboron) — discussion

#linux #systemd

Rustls Outperforms OpenSSL and BoringSSL (via JulianWgs) — discussion

#performance #rust #security

TLA from first principles (by hwayne) — discussion

#formalmethods #math

Multiset Rewriting Recipe Book (via louismerlin) — discussion

#lua

Svelte 5 is alive (via imadij) — discussion

#javascript #release #web

Representing Knowledge and Querying Data using Double-Functorial Semantics (via Corbin) — discussion

#databases #math

‘Reflections on Trusting Trust’, but completely by accident this time (via freddyb) — discussion

#compilers #security

UK CMA Issues statement for investigation into Apple on Mobile browsers and cloud gaming market (via Student) — discussion

#law #pdf #security #web

Debug Go core dumps with delve: export byte slices (by stapelberg) — discussion

#go

The Crime Messenger: How Sky ECC Phones Became a Tool of the Criminal Trade (via stchris) — discussion

#security