RISC-V Vector Extension overview (via xoranth) — discussion

#hardware #performance

GenMC: Model checking for concurrent C programs (via Forty-Bot) — discussion

#c #formalmethods

Algol 68 – A Retrospective (via mr_explorer_douglas) — discussion

#plt

Unused keys in vim (via drmorr) — discussion

#vim

When Machine Learning Tells the Wrong Story (by jackcook) — discussion

#ai #browsers #hardware #security

The BPF instruction set architecture is now RFC 9669 (via hoistbypetard) — discussion

#linux

An alternative idea for a typed language living alongside/inside JavaScript (by manuel) — discussion

#javascript #plt

A mental model for Linux file, hard and soft links (by bhoot) — discussion

#linux

Regular Restarts Are Good, Actually (via craigkerstiens) — discussion

#programming

Discussion: Adding memory regions to Go (via carlana) — discussion

#go

PSA: SQLite does not do checksums (by av) — discussion

#databases

Mergiraf: a syntax-aware merge driver for Git (via dpk) — discussion

#vcs

OpenAI found out their cutting-edge LLMs are only 42.7% accurate (via superdurszlak) — discussion

#ai

Building Bridges to C++ (via hunger) — discussion

#c++ #programming #rust

Rootless Root (2003) (via gepardo) — discussion

#practices #unix

Debian GSoC 2024 Final Reports (via ema) — discussion

#linux

SNES & PlayStation cubic ADPCM interpolation (via jmillikin) — discussion

#retrocomputing

Known Attacks On Elliptic Curve Cryptography (via azeemba) — discussion

#cryptography #security

Algol-68 seemed like a good idea – until it wasn’t (via gerikson) — discussion

#historical #plt

Tone of Life (by mbil) — discussion

#art