Trying and mostly failing to optimize frustum culling in a WebGL + TS + Rust engine (via jmillikin) — discussion

#graphics

Streams, Calculational Proofs and Dafny (by rdivyanshu) — discussion

#formalmethods

Archiving and syndicating Mastodon posts (by ggpsv) — discussion

#web

Squatting NPM for remote code execution (via jmillikin) — discussion

#javascript #security

Supercharged labels – Gleam v1.4.0 (by lpil) — discussion

#erlang #release

Compress video by 90% without losing much quality, similar to what Pied Piper achieves (by jiacai2050) — discussion

#release

ROMhacking.net Moves to News Only, Database and File Archive Released to Internet Archive (via JordiGH) — discussion

#games

Formally verifying security properties of CHERI processors (via david_chisnall) — discussion

#formalmethods #hardware #security

Translating All C to Rust (TRACTOR) (via rjzak) — discussion

#c #rust

JVM/Java: Null-Restricted and Nullable Types (via gf0) — discussion

#java #plt

C is Turing complete (by fanf) — discussion

#c #compsci

Simple fast value semantics (by zupa) — discussion

#compilers #plt

EpicEnv: A local environment variable manager for Git (by danthegoodman1) — discussion

#devops

ASK: What are you doing this weekend? (by caius)

#ask #programming

Once Upon a Lazy Init (via drakerossman) — discussion

#rust

Extending the #[diagnostic] tool attribute namespace (via jmillikin) — discussion

#rust

Composition over Inheritance Explained by Games! #programming (by acairns) — discussion

#practices #programming #video

The Inside Story of ClickHouse (9): How to Perform Aggregation (via knl) — discussion

#databases

The Effect of CRTs on Pixel Art (via crazyloglad) — discussion

#games #hardware

How Dune Analytics improved Dune API using DuckDB (by msf) — discussion

#api #databases #visualization