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

Security research on Private Cloud Compute (via achivetta) — discussion

#ios #mac #security

cstructpy: Easy binary representations of structs (via ngoldbaum) — discussion

#c #python

Why did you write a new RTOS for CHERIoT? (via calvin) — discussion

#osdev

Bookmark Keywords: a hidden firefox feature (by binarycat) — discussion

#browsers