BEAM's bright future with Gleam (and JavaScript?) (by crowdhailer) — discussion

#gleam #video

Building a Large Geospatial Model to Achieve Spatial Intelligence (via danthegoodman1) — discussion

#ai

TIL: Some surprising code execution sources in bash (via fratti) — discussion

#security

Local privilege escalation via needrestart (via jmillikin) — discussion

#linux #security

Investigating SPIR-V for the Stride shader system (part 2) (via jmillikin) — discussion

#games #graphics

Delta Chat introduces realtime Peer-to-Peer networking (via j3s) — discussion

#networking #web

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