Modern Hardware for Future Databases (via eatonphil) — discussion

#databases #hardware

Rust Foundation Collaborates With AWS Initiative to Verify Rust Standard Libraries (via mjb) — discussion

#formalmethods #rust #testing

Flexbox & the keyboard navigation disconnect (2016) (via chai) — discussion

#a11y #web

Native compilation of Prolog predicates with Cranelift (by aarroyoc) — discussion

#compilers #pdf

Tiling with Three Polygons is Undecidable (via calvin) — discussion

#math #pdf

FreeBee, an AT&T UNIX PC emulator (via lorddimwit) — discussion

#retrocomputing #unix

DBSP: Automatic Incremental View Maintenance for Rich Query Languages (by metadata) — discussion

#databases #distributed #rust

Map Keys and Lifetimes (via steveklabnik) — discussion

#rust

Does the Internet Route Around Damage? - Baltic Sea Cable Cuts (via voytec) — discussion

#networking

They all use it (via carlana) — discussion

#ai

SQL, Homomorphisms and Constraint Satisfaction Problems (via squadette) — discussion

#databases

Ban tracking and personalised advertising (via freddyb) — discussion

#privacy

Sequin: a tool for inspecting ANSI sequences (by meowgorithm) — discussion

#programming

For the first time ever researchers crack RSA and AES data encryption (via wink) — discussion

#cryptography

Using gRPC for (local) inter-process communication (via danthegoodman1) — discussion

#distributed

mimic: eBPF UDP -> TCP obfuscator (via gioele) — discussion

#linux #networking

How Many Business Values Does a True/False Field Have? (by JohnDeHope) — discussion

#philosophy #programming

Organizing Recipes with ML For Creative Cooking (by markerz) — discussion

#ai #show #web

Abusing Talon to use my eye tracker in a project (via crmsnbleyd) — discussion

#python

Fargate vs EC2 (by adamgordonbell) — discussion

#devops