Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation (via saulshanabrook) — discussion

#formalmethods #pdf #plt

The Promise of P-Graphs (via saulshanabrook) — discussion

#formalmethods #plt

APT Rust requirement raises questions (via calvin) — discussion

#linux #rust

What does it mean to be massively against AI? (via kngl) — discussion

#ai #vibecoding

Constant-time support lands in LLVM: Protecting cryptographic code at the compiler level (via sknebel) — discussion

#compilers #cryptography

HP and Dell disable HEVC support built into their laptops’ CPUs (via xvello) — discussion

#hardware #law

How good are Chinese CPUs? Benchmarking the Loongson 3A6000 (via serce) — discussion

#performance

The Lambda Papers (transcribed) (by mnemenaut) — discussion

#lisp #plt

Quick tutorial to get started on Org Social (by andros) — discussion

#emacs

NSA and IETF, part 3: Dodging the issues at hand. (djb) (via indolering) — discussion

#cryptography

emacs for code editing (via knl) — discussion

#emacs

Case against OOP is understated, not overstated (2020) (via kototama) — discussion

#plt #programming

World's Most Stable Raspberry Pi? 81% Better NTP with Thermal Management (via taras) — discussion

#hardware

memories of .us (via binjip978) — discussion

#networking

Jeff Dean on Important AI Trends (via sp6370) — discussion

#ai #video

BOM reveals new website cost $96.5m, not $4.1m as first announced (via outervale) — discussion

#web

Hyperoptic: IPv6 and Out-of-Order Packets (via lalitm) — discussion

#networking

RuBee (via rslabbert) — discussion

#networking

This Development-cycle in Cargo: 1.92 (via wezm) — discussion

#rust

Is LaTeX worth it? (2023) (via isuffix) — discussion

#programming