We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase (via ehamberg) — discussion

#plt #release

An exploitable integer overflow in Lix (CVE-2026-44028) (by raito) — discussion

#nix #security

Building my own Vi text editor in BASIC (via carlana) — discussion

#retrocomputing

RSS Feeds Send Me More Traffic Than Google (via repl) — discussion

#web

Behavior-Oriented Concurrency for Python: Lock-less, Deadlock-free, Ownership-based (via eatonphil) — discussion

#plt #python

How not to format a private key (via runxiyu) — discussion

#cryptography

Why didn’t IPv6 work in my home network? (by gowthamgts) — discussion

#debugging #networking

claude code is not making your product better (via carlana) — discussion

#vibecoding

A bidirectional typechecking puzzle (by Gabriella439) — discussion

#plt

Tokens and Dreams (by coleifer) — discussion

#vibecoding

A Caddy Cert Expired Because systemd-resolved Was Selectively Broken (via robalex) — discussion

#devops #networking

Rolling the root key (via raymii) — discussion

#security

Agent MetaSKILLs (by jedisct1) — discussion

#ai #vibecoding

minipgp6: A very lean interpretation of modern OpenPGP (via 7tehdt3cnw6kir6o) — discussion

#cryptography #security

What I’m Hearing About Cognitive Debt (So Far) (via Student) — discussion

#practices #vibecoding

Post-Quantum VPN Based on QUIC (by M0dEx) — discussion

#cryptography #networking #rust #security

MacBook Neo Deep Dive: Benchmarks, Wafer Economics, and the 8GB Gamble (via makishimu) — discussion

#hardware

Ace Template: go from `rails new` to deployed in under 5 minutes (self-hosted or PaaS) (by jerome) — discussion

#ruby

Inexpressibility in Exp-Minus-Log (by unprovable) — discussion

#math

Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS (via wezm) — discussion

#c #hardware #pdf #rust