Dafny Standard Libraries (via jmiven) — discussion

#programming

Exploring Typst, a new typesetting system similar to LaTeX (via jmillikin) — discussion

#programming

Secure Custom Fields (via gmem) — discussion

#php #security

Are MathJax and KaTeX competitors? (via susam) — discussion

#web

1 bug, $50,000+ in bounties, Zendesk bug (via freddyb) — discussion

#security #web

Dataflow and Columns and WASM, Oh My (via ohrv) — discussion

#databases #rust

The Road to OCIv2 Images: What's Wrong with Tar? (2019) (via calvin) — discussion

#devops #unix

zzz: A library for writing performant and reliable networked services (via palash25) — discussion

#zig

Virtual-Memory Assisted Buffer Management (via xoranth) — discussion

#databases #pdf

Arm A-Profile Architecture Developments 2024 (via xoranth) — discussion

#hardware #performance

Newtypes are better than abstract type synonyms (via jmillikin) — discussion

#haskell #ml

Potential pragmatic handling of partial matches for HTTP conditional GET (via EvanHahn) — discussion

#performance #web

How I animate 3Blue1Brown: a Manim demo (via fanf) — discussion

#math #python #video

A Small Experiment in Async Rust (via ordinaryhat) — discussion

#rust

A history of Clojure (2020) (via makishimu) — discussion

#clojure

LLMs don’t do formal reasoning - and that is a HUGE problem (via voytec) — discussion

#ai

oss-fuzz-gen: LLM powered fuzzing via OSS-Fuzz (via Kchousos) — discussion

#security #testing

A Dictionary of Single-Letter Variable Names (by jackdk) — discussion

#haskell

cizzbuzz: An exploration of GitHub Merge Queues (via halosghost) — discussion

#art #devops #testing

Binary and Scalar Embedding Quantization for Significantly Faster & Cheaper Retrieval (March 22, 2024) (via emschwartz) — discussion

#ai