🔧 Linkers - linearizable · Scour

Measurement of Generative AI Workload Power Profiles for Whole-Facility Data Center Infrastructure Planning ⚙️Mechanical Sympathy

arxiv.org·2d

Can your AI rewrite your code in assembly? ⚡SIMD Optimization

lemire.me·5d·Hacker News

BRIEF: Bi-level Coreset Selection for Efficient Instruction Tuning in LLMs ⚙️Mechanical Sympathy

vldb.org·6h

Security updates for Friday [LWN.net] 🔄Cache Replacement

lwn.net·19h

Wastrel milestone: full hoot support, with generational gc as a treat 📦WASM

wingolog.org·1d·Lobsters, Hacker News

QED-Lite: Lightweight Detection of Quantum-Vulnerable ELF Binaries via Cryptographic Library Version Fingerprinting 📐TLA+

eprint.iacr.org·6d

ArchRadar – Open source CLI that scores your frontend architecture (0–100) and tells you exactly what to fix 📊Columnar Execution

github.com·11h·r/coding

Environment variables are a legacy mess: Let's dive deep into them 🔧ELF Binaries

allvpv.org·1d·r/SoftwareEngineering, r/coding, r/programming

MySQL 9.7.0 vs sysbench on a small server ⚙️Adaptive Execution

smalldatum.blogspot.com·14h·smalldatum.blogspot.com

Tim Bradshaw: Rules for Lisp programs 📐TLA+

tfeb.org·2d

Borrow-checking surprises 🔓Lock-Free Structures

scattered-thoughts.net·4d·Lobsters, Hacker News

The Future of Everything is Lies, I Guess: Information Ecology 🌸Bloom Filters

aphyr.com·18h·Hacker News

I opened a PR on a vibe-coded project. The owner asked me to implement additional features 📐TLA+

oakchris1955.eu·1d·r/coding

Personal Software with the Help of LLMs 🗜️Compression Algorithms

danilafe.com·5d·Hacker News

Three distinct personalities - one system. Each player has its own strength. TRIFORM 🗳️Paxos Variants

kovalarts.com·1d·r/systems

Spec Driven Development isn't Waterfall 📐TLA+

brooker.co.za·2d·Hacker News

Syntax highlighting is a waste of an information channel 📐TLA+

buttondown.com·6d·r/coding, r/webdev

Multi-trade module - modeling complex trades through a unified framework 🔗WCOJ

lexifi.com·2d

Matrix-matrix multiplication, from less conventional points of view: 🔓Lock-Free Structures

okmij.org·4d·Hacker News

Structural Normalization of Property Graphs 📐E-graphs

vldb.org·6h

Loading more...