Don’t snipe me in space - intentional flash corruption for STM32 microcontrollers (via timschumi) — discussion

#hardware

Bare metal programming with RISC-V guide (2023) (via runxiyu) — discussion

#assembly

A year of work on the ALPM project (via wiktor) — discussion

#linux

Hongdown: An opinionated Markdown formatter in Rust (by hongminhee) — discussion

#rust #show

Gleam’s Design and Compiler (via krig) — discussion

#gleam #plt #video

Sanctum 1.0.0 - small, reviewable, capable, PQ-secure and fully privilege separated novel VPN daemon and protocol (via a4rbay4mnv) — discussion

#security

ASK: Tag Proposal: logic-lang (by veqq)

#meta

Type inference of all constructs and the next 15 months (via adaszko) — discussion

#elixir

Phosh 2025 in Retrospect (via ThinkChaos) — discussion

#linux #mobile

How Markdown took over the world (via fanf) — discussion

#historical

Introducing EktuPy (via pauloxnet) — discussion

#education #games #python

Garbage collected handles are lifetime-contravariant (by aapoalas) — discussion

#rust

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

#ask #programming

Prompting 101: Show, don’t tell (by Gabriella439) — discussion

#ai

Embermarks: A Firefox extension to discover forgotten bookmarks (by gruberb) — discussion

#browsers #show

Handling secrets (somewhat) securely in shells (via polywolf) — discussion

#unix

An Adequate Left-Associated Binary Numeral System in the lambda-Calculus (via bediger4000) — discussion

#compsci #pdf

How we made Python's packaging library 3x faster (via ngoldbaum) — discussion

#performance #python

Answer Set Programming (2019) (via hwayne) — discussion

#book #compsci #pdf

Making Tools Developers Actually Use - Michiel Borkent (via adityaathalye) — discussion

#clojure #practices #video