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

The Structure of a Programming Language Revolution (2012) (via dpk) — discussion

#historical #pdf #plt

Embeddings are underrated (by kaycebasques) — discussion

#ai #practices #science

Building a better and scalable system for data migrations (by yorickpeterse) — discussion

#databases #scaling

A Practitioner's Guide to Wide Events (via jaywhy13) — discussion

#distributed

A Compiler for 3D Machine Knitting (via alexshroyer) — discussion

#compilers #pdf

Several Russian developers lose kernel maintainership status (via Foxboron) — discussion

#law

Using /tmp/ and /var/tmp/ Safely (via yawaramin) — discussion

#linux #systemd