📦 Allocation Elision - abnv · Scour

anglesmorts.org·2d

🔗Lexical Scoping

Machine Learning Based SPAM Detection Using ONNX in Java

foojay.io·2d

🔤Language Tokenizers

Lazy-pulling containers: 65x faster pulls, but 20x slower readiness

blog.zmalik.dev·3d·

Discuss: Hacker News

An approach to reducing prompt size, drift, and governance risk in LLM-based systems

qu3ry.net·2d·

Discuss: r/LLM

📡Erlang BEAM

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·2d

📜Proof Languages

What's up with Haskell's do notation?

slightknack.dev·2d

⚡functional programming

Yet another GCC 1.40 *SOME ASSEBMLY REQUIRED

virtuallyfun.com·4d

💬Error Messages

Python's Dynamic Typing Problem

whileforloop.com·2d·

Discuss: Hacker News, r/programming

🌊Gradual Typing

AI giants are racing to secure shrinking memory. It’s creating opportunities for startups

sifted.eu·3d

Linux 7.0 Adds support For BPF Filtering To IO_uring

phoronix.com·2d

🪤Trap Handlers

C and Undefined Behaviour

lelanthran.com·4d·

Discuss: Hacker News, r/C_Programming, r/programming

🌊Gradual Effects

Single prompt breaks AI safety in 15 major language models

infoworld.com·2d

🌊Gradual Effects

I love Proxmox community scripts, but a single command executes 8 remote scripts as root

xda-developers.com·2d

🌐WASM Runtimes

eVer: Universal and Automated Verification of Side-Channel Security for Additive, Inner Product, Polynomial and General Code-Based Masking

eprint.iacr.org·2d

📏Linear Memory

Tip of the Week #123: <code>absl::optional</code> and <code>std::unique_ptr</code>

abseil.io·4d

🔗Weak References

AVX2 SIMD Optimization for 12-bit JPEG Decoding in libjpeg-turbo — Pair Programming with Copilot CLI

github.com·2d·

Discuss: DEV

📦Executable Size

Cavern: Efficient Honest-Majority Maliciously Secure $(2+1)$-PC for $\mathbb{Z}_{2^n}$ via DPF

eprint.iacr.org·2d

🔗Hash Algorithms

AI-SLOP Detector v2.7.0 — Why We Built a Linter We Actually Use

dev.to·21h·

Discuss: DEV

🚂Cranelift IR

Better Diameter Bounds for Efficient Shortcuts and a Structural Criterion for Constructiveness

arxiv.org·11h

👑Dominator Analysis

Announcing TCMalloc

abseil.io·4d

⏲️Embedded GC

Loading more...