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

How I turned my Anki side project into a Kickstarter: A Walkthrough (by romes) — discussion

#person #show

It's all a blur (via acatton) — discussion

#graphics

Using Databases Without Putting Domain Logic in Them (2023) (via rebeca) — discussion

#databases

Programming Aphorisms (via fanf) — discussion

#zig

Majutsu, Magit for jujutsu (via weaksauce) — discussion

#emacs #vcs

The Problem With LLMs (via atharva) — discussion

#vibecoding

Functional programming in m4 (via fanf) — discussion

#unix

Re-Identification Risk vs k-Anonymity (by Mbat) — discussion

#privacy

In memoriam Marijn Meijles (via raymii) — discussion

#person

CVE-2026-1529 - keycloak: unauthorized organization registration via improper invitation token validation (via knedl) — discussion

#security

Windows Notepad App Remote Code Execution Vulnerability (via cfenollosa) — discussion

#windows

Modular Monolith and Microservices: Modularity is what truly matters (2023) (by BinaryIgor) — discussion

#scaling