Olimex HoT aims to be lightweight, easier-to-use alternative to Home Assistant (via raymii) — discussion

#hardware

The RCE that AMD won't fix (via achivetta) — discussion

#security

How to program computers (kOS) (via veqq) — discussion

#api #osdev

Calling Lean Functions As Python Functions (via spookylukey) — discussion

#formalmethods #python

Django: profile memory usage with Memray (via spookylukey) — discussion

#performance #python

Vibe Coding Kills Open Source (via lincoln) — discussion

#vibecoding

My AI Adoption Journey (via rtfeldman) — discussion

#vibecoding

The LLM spectrum and responsible LLM use (by janiczek) — discussion

#vibecoding

Building a C compiler with a team of parallel Claudes (via mitsuhiko) — discussion

#vibecoding

Agentic Proof-Oriented Programming (via larrytheliquid) — discussion

#ai #formalmethods

The Search for Meaning Through Collaboration and Code (via veqq) — discussion

#philosophy #practices

On the Promises of 'High-Assurance' Cryptography (by nadim) — discussion

#cryptography #formalmethods

Build Systems and Build Philosophy (via kaycebasques) — discussion

#programming

jujutsu v0.38.0 released (via mediremi) — discussion

#release #vcs

(Un)portable defer in C (via janerik) — discussion

#c

Company as Code (via kaycebasques) — discussion

#practices

GitHub Actions Is Slowly Killing Your Engineering Team (by iand675) — discussion

#practices #vcs

CSRF protection in Phoenix with Sec-Fetch-Site (by mediremi) — discussion

#elixir #security #web

Owning a $5M data center (via hoistbypetard) — discussion

#hardware #practices

Trust signals are broken (by ordepdev) — discussion

#debugging #testing #vibecoding