Flux: Refinement types for Rust (via eventhelix) — discussion

#plt #rust #video

Kindle + Python = e-Ink Dashboard (part 1) (via nalzok) — discussion

#hardware #reversing

Announcing vips-ffm - libvips Bindings Using JDK 22’s FFM API (by lopcode) — discussion

#java #kotlin

Hardware virtualization in Haiku: GSoC 2024 final report (via jmillikin) — discussion

#osdev #virtualization

Embedded Rust Working Group Community Micro Survey (via jamesw) — discussion

#rust

Constraining writers in distributed systems (via eatonphil) — discussion

#distributed

The Only JavaScript Feature That Was Deprecated (by trevorindreklasn) — discussion

#javascript

What’s Really Going On in Machine Learning? Some Minimal Models (via manuel) — discussion

#ai

Hands-on NixOS servers (via jkarni) — discussion

#nix

Data Modeling Entitlements and Pricing for SaaS Applications (via jnunemaker) — discussion

#ruby

Better IX network quality monitoring (via calvin) — discussion

#networking

Andries Brouwer on the OOM killer (via raymii) — discussion

#linux

FlowG: A low-code log management software proof of concept (by linkdd) — discussion

#devops #show

Why Do We Have Different Frame Types? (via friendlysock) — discussion

#historical #networking

Restricting execution of scripts — the third approach (via Forty-Bot) — discussion

#linux #security

Rust vs. Zig in Reality: A (Somewhat) Friendly Debate (via dgv) — discussion

#programming #rust #video #zig

How Postgres stores oversized values – let's raise a TOAST (by drewsberry) — discussion

#databases

Intuitive Explanation of Arithmetic, Geometric, & Harmonic Mean (via knl) — discussion

#math

ALBeast Security Advisory by Miggo Research (via Tenzer) — discussion

#devops #security

What is an SBAT and why does everyone suddenly care (via Foxboron) — discussion

#security