Unsafe Rust Is Harder Than C (via imadij) — discussion

#rust

Classic 3D videogame shadow techniques (by pekkavaa) — discussion

#graphics

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

#ask #programming

ASK: Is it ok (ethical) to scrape and display full-page content when blog author did not include in it RSS? (by freetonik)

#privacy

Building & using simple utils in Rye console (by refaktor) — discussion

#programming #video

A Desktop for All (via calvin) — discussion

#linux

Understanding leap seconds and time scales (by xionbox) — discussion

#python #rust #science

Bitwarden "Internal" SDK now being relicensed to GPLv3 (via hoistbypetard) — discussion

#release #security

Why Safety Profiles Failed (via fanf) — discussion

#c++

Viewing MacOS system libraries in Ghidra (by sigint) — discussion

#mac #reversing

A line map for Milano's trams in TeX (via fanf) — discussion

#graphics

Private Cloud Compute Security Guide (via cadey) — discussion

#ai #mac #security

A Typed Foundation for Directional Logic Programming (via veqq) — discussion

#ai #pdf #plt

Type Tailoring (via veqq) — discussion

#lisp #pdf #plt

Automated Verification of Go Programs via Bounded Model Checking (2021) (via hwayne) — discussion

#formalmethods #go #pdf

Introducing quantized Llama models with increased speed and a reduced memory footprint (via friendlysock) — discussion

#ai #performance

Logical vs Physical Data Types (by gatesn) — discussion

#databases

On Rust in enterprise kernels (via lonjil) — discussion

#linux #rust

Keynote presentation by Hal Abelson and Gerald Sussman at the fourteenth RacketCon (via spdegabrielle) — discussion

#lisp #video

Framework overload: when convenience dulls innovation in software development (by pyeri) — discussion

#compsci #culture #programming