Pulling a New Proof from Knuth’s Fixed-Point Printer (via jparise) — discussion

#compsci

Comparative Analysis of Low-Dimensional Features and Tree-Based Ensembles for Malware Detection Systems (2020) (via calvin) — discussion

#compsci #pdf #reversing

Womangling (via FedericoSchonborn) — discussion

#c++

LLMs have burned Billions but couldn't build another Tailwind (by csomar) — discussion

#ai

Continuous Snapshotting Filesystem (via natfu) — discussion

#linux

How I use Jujutsu (via LesleyLai) — discussion

#vcs

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