How to check for overlapping intervals (by mzl) — discussion

#programming

A new breed of analyzers (via Shorden) — discussion

#security #vibecoding

Zig Creator Andrew Kelley (via rcalixte) — discussion

#plt #video #zig

Automated Lean Proofs for Every Type (via repl) — discussion

#formalmethods

ASK: What are you doing this weekend? (by caius)

#ask #programming

Building a NTSC/VHS simulator (2020) (via tngl) — discussion

#graphics #hardware #javascript #video

Programming in the Sun: A Year with the Daylight Computer (by owi) — discussion

#hardware #vim

Why I switched from HTMX to Datastar (via TeddyDD) — discussion

#web

Multi-Core By Default (via aminom) — discussion

#c #performance

The critical window of shadow libraries (2024) (via rikhuijzer) — discussion

#education

ASK: Lobsters Interview with Zdsmith (by veqq)

#person

Is Odin Just a More Boring C? (via rcalixte) — discussion

#c #plt

The Physics of Euler's Formula | Laplace Transform Prelude (via LesleyLai) — discussion

#math #video

Dear Rubyists: Shopify Isn’t Your Enemy (via Jackevansevo) — discussion

#ruby

Finding a VS Code Memory Leak (via wheybags) — discussion

#c++ #windows

GitHub Will Prioritize Migrating to Azure Over Feature Development (via JordiGH) — discussion

#scaling

magnolia: Interactive shell navigation and history (by miro) — discussion

#a11y #databases #linux #rust

Making Slint Desktop-Ready (via dryya) — discussion

#graphics #rust

Code is Never Neutral: Why All Software is Political (via FedericoSchonborn) — discussion

#culture #video

Examples are the best documentation (via rbr) — discussion

#practices