How CHERIoT Provides Strong and Usable Isolation Without an MMU (via rrampage) — discussion

#hardware #osdev #security

Rust Is Tier-1 Language at Microsoft (via mmastrac) — discussion

#rust

Package Manager Trends (via hugoarnal) — discussion

#programming #security

Announcing the first Guix-Science release (via FedericoSchonborn) — discussion

#nix #science

It Breaks a Village: Bevy's 6th Birthday (via aldantanneo) — discussion

#culture

Decoding the NEC V20 Microcode (via robey) — discussion

#retrocomputing #reversing

AI and democracy: the right to resist optimization (via ache) — discussion

#ai #philosophy

Knowledge Retention & Sharing in DF/IR (via 7tehdt3cnw6kir6o) — discussion

#practices #security

Absolutely Everything You Always Wanted to Know About Watermarks in Apache Flink (via rmoff) — discussion

#distributed

On What The Panopticon Cannot See (via zk) — discussion

#philosophy #vibecoding

How to avoid correctness space leaks on a lazy setting in Haskell (2023) (via abhin4v) — discussion

#haskell

Some (mostly historical) issues with the Unix load average (via binjip978) — discussion

#historical #unix

SystemIO conflicts are not firmware bugs (via calvin) — discussion

#hardware #osdev

Review a pull request by booting it (by domenkozar) — discussion

#nix

Efficient and accurate systems for querying unstructured data (via typesanitizer) — discussion

#ai #databases #pdf

DIFF: A Relational Interface for Large-Scale Data Explanation (via typesanitizer) — discussion

#databases #pdf

Bulk AbuseIPDB reporting using command-line tools (via edent) — discussion

#security

ID design and primary keys (by squadette) — discussion

#databases

Better AI code comment detector (by kqr) — discussion

#ai #math #vibecoding

Scenarios for our Economic Future - Anthropic (via ni5arga) — discussion

#ai #finance