Workledger - An offline first engineering notebook (by gruberb) — discussion

#practices #show

An AI Agent Published a Hit Piece on Me (via ngoldbaum) — discussion

#practices #vibecoding

Stargazing Buddy: A practical guide to observing the night sky for real skies and real equipment (via carsyoursken) — discussion

#science

ASK: Request for sources: Discord alternatives (by icefox)

#ask #culture

GLM-5: From Vibe Coding to Agentic Engineering (via anup) — discussion

#vibecoding

Inspecting the Source of Go Modules (via cgrinds) — discussion

#go

Technical "whitepaper" for afl-fuzz (via krtab) — discussion

#formalmethods #testing

Don't Do This (2013) (via jaculabilis) — discussion

#python #video

CSS Clicker (via confusedalex) — discussion

#css

The future for Tyr, a Rust GPU driver for Arm Mali hardware (via fanf) — discussion

#linux #rust

Deobfuscation and Analysis of Ring-1.io (via calvin) — discussion

#reversing

Commet - Matrix Client (via Aks) — discussion

#distributed

Recursive Language Models (via adsouza) — discussion

#ai

ASK: Proposal: JS-required tag (by ploum)

#meta

Lessons from CalyxOS signing process redesign (via DerGuteMoritz) — discussion

#security

Proof-oriented Programming in F* (via nextos) — discussion

#book #formalmethods #plt

Technical Issues of Separation in Function Cells and Value Cells (1988) (via veqq) — discussion

#historical #lisp

New And Upcoming IRCv3 Features (via eBPF) — discussion

#culture

Do not apologize for replying late to my email (via kmaasrud) — discussion

#email

Reports of Telnet’s Death Have Been Greatly Exaggerated (via gerikson) — discussion

#networking #security