Understanding the PURL Specification (Package URL) (via Mordo) — discussion

#security

Boredom Over Beauty: Why Code Quality is Code Security (via Mordo) — discussion

#security

Digital Frame Hacking - Cracking It Open (via mtlynch) — discussion

#hardware #reversing

In which I have Opinions about parsing and grammars (via asb) — discussion

#plt

AI is a gamechanger for TLA+ users (by hwayne) — discussion

#formalmethods #vibecoding

APLearn: machine learning library (via veqq) — discussion

#apl

Is GenAI Digital Cocaine? (via David_Gerard) — discussion

#vibecoding

Consumer Routers - Router Security (via WilhelmVonWeiner) — discussion

#networking

Picking uncontested private IP subnets with usage data (via gmem) — discussion

#networking

NVIDIA ISO-26262 SPARK Process (via koala) — discussion

#formalmethods #practices #release

A programming system (via matklad) — discussion

#programming

DNS4EU For Public is available (via Verfeuil) — discussion

#networking #security

Linearity and uniqueness (via soareschen) — discussion

#plt

phptop: PHP basic ressource profiler safe and useful for production sites (via Cassandre) — discussion

#php

Storing arbitrary data in pokemon emerald (via adavis) — discussion

#games

I Think I’m Done Thinking About genAI For Now (via mwcampbell) — discussion

#vibecoding

LLMs & Elixir: Windfall or Deathblow? (via veqq) — discussion

#elixir #vibecoding

Premature Design Is Not Design (via hwayne) — discussion

#practices #ruby

How Let’s Encrypt reduced the impact of zombie clients (via fanf) — discussion

#networking #security

Redesigned Swift.org is now live (via kevinc) — discussion

#swift