A love letter to the CSV format (via David-Guillot) — discussion

#compsci

3110 Coq Tactics Cheatsheet (via gnyeki) — discussion

#formalmethods

My new Emacs (and Ruby) based Static Site Generator (by mms) — discussion

#emacs

FSKit (via quad) — discussion

#mac

ASK: Who's Hiring? Q2 2025 (by dani)

#job

9front “THE FRONT END OF TOMORROW” released (via pmjv) — discussion

#art

Pidgin 3.0 Experimental 2 (2.91.0) has been released (by grim) — discussion

#release

Building Real-Time Video Transcription & Sentiment Analysis for Peer Support (by anehzat) — discussion

#ai #ask #design

Windows on ARM on a Smart Watch (via i_lost_my_bagel) — discussion

#android #hardware #windows

Fast MQTT logger (to syslog) (by raymii) — discussion

#c++

How I Spent Saturday Recovering A Passkey Or Why Open-Source Software Matters (by elrodeo) — discussion

#security

What’s in a Nix store path (by fzakaria) — discussion

#nix

The <select> element can now be customized with CSS (via MatheusRich) — discussion

#css #web

AI/Math Puzzle (by markerz) — discussion

#ai #math

Ekapkgs, a poly-repo fork of Nixpkgs (via jacekg) — discussion

#nix

GNU Octave: Scientific Programming Language (via veqq) — discussion

#math #programming

Foundation Models and Unix (by vagos) — discussion

#ai #linux

Empowering WebAssembly with Thin Kernel Interfaces (via fanf) — discussion

#linux #wasm

Introducing the Haskell Foundation Stability Working Group (via Hecate) — discussion

#haskell

The Evolution of HTTPS Adoption in Firefox (by freddyb) — discussion

#browsers #privacy #security