Dependently typed Clojure DSL with a Lean4 compatible kernel (via Yogthos) — discussion

#clojure

There Are No Instances in atproto (via confusedalex) — discussion

#distributed

It's dead, Jim! (UEFI CA expiry) (via legoktm) — discussion

#linux #security

The Old Computer Challenge (via msangi) — discussion

#hardware #retrocomputing

pomerium: Pomerium is an identity and context-aware access proxy (via doriancodes) — discussion

#networking #security #web

The feature in OxCaml that more languages should steal - The Consensus (via vaguelytagged) — discussion

#ml

Prism: An Impure Functional Language With Typed Effects (via jcmkk3) — discussion

#plt

pg_plan_advice — help the planner get the right plan (via janus) — discussion

#databases #performance

The Card That Made the Apple II Serious (via white-star) — discussion

#hardware #historical

AI Learns the "Dark Art" of RF Chip Design (via Yogthos) — discussion

#ai

exploitarium: A single archive of public exploit PoCs (via ahobson) — discussion

#security

C in the Linux Kernel (via hugoarnal) — discussion

#c #linux #osdev #video

Guards! Guards (by hauleth) — discussion

#elixir

GPT2-BASIC: Portable Machine Intelligence in BASIC (via jado) — discussion

#ai

Comparing Transformers and Hybrid Models at the Token Level (via jado) — discussion

#ai #pdf

A peek into Reddit's anti-spam internals (by rebane2001) — discussion

#privacy #security

Linux 7.2 Improves Anonymous/Unnamed Pipe Performance For Shell Pipelines & More (via lcapaldo) — discussion

#linux

Are Exclusive Arcs Evil? (via dominicm) — discussion

#databases

Data Access Patterns That Makes Your CPU Really Angry (by weineng) — discussion

#c #c++ #performance

Excessive nil pointer checks in Go (via eduard) — discussion

#go