When AI Writes the World's Software, Who Verifies It? (via regulator) — discussion

#formalmethods #logiclangs #vibecoding

Lilaq: Advanced data visualization in Typst (via mhm) — discussion

#visualization

Embedding TeX Hyphenation Patterns for 30 Languages in a 1.1 MB Rust Automaton (2022) (via aashvik) — discussion

#performance #rust

Type systems are leaky abstractions: the case of Map.take!/2 (via lffg) — discussion

#elixir #plt

US Supreme Court declines to hear dispute over copyrights for AI-generated material (via pushcx) — discussion

#law #vibecoding

Arm's Cortex X925: Reaching Desktop Performance (via fanf) — discussion

#hardware #performance

Simple Screw Counter (via fanf) — discussion

#hardware

DOS Memory Management (via luke8086) — discussion

#historical #osdev

Announcing npmx: a fast, modern browser for the npm registry (via outervale) — discussion

#javascript #nodejs #release #web

Detecting LLM-Generated Web Novels Using "Classical" Machine Learning (AIGC Text Detection) (via jcd) — discussion

#ai

WebHaptics – Haptic feedback for the mobile web (via zanlib) — discussion

#mobile #web

The 185-Microsecond Type Hint (via fanf) — discussion

#clojure

I Put a Full JVM Inside a Browser Tab (via juliethefoxcoon) — discussion

#java #wasm #web

ASK: uBlock filter to hide vibecoding tag (by nikaro)

#vibecoding

PEP 827 – Type Manipulation (via a5rocks) — discussion

#plt #python

Evolving Typst (via runxiyu) — discussion

#practices

Plasma Bigscreen - 10-foot interface for KDE plasma (via achill) — discussion

#linux

State of Haskell 2025 results (via ettolrach) — discussion

#haskell

getopt: Go package for POSIX/GNU-style command line parsing (via jenx) — discussion

#go

The two kinds of error (by EvanHahn) — discussion

#programming