📦 Allocation Elision - abnv · Scour

Package-Inferred Systems are Dangerous

aartaka.me·1d

⚙️TOML Parsers

Machine Learning Based SPAM Detection Using ONNX in Java

foojay.io·1d

🔤Language Tokenizers

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

blog.zmalik.dev·3d·

Discuss: Hacker News

Yet another GCC 1.40 *SOME ASSEBMLY REQUIRED

virtuallyfun.com·3d

💬Error Messages

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

Python's Dynamic Typing Problem

whileforloop.com·1d·

Discuss: Hacker News, r/programming

🌊Gradual Typing

Should small Rust structs be passed by-copy or by-borrow?

forrestthewoods.com·4d

🔒Rust Borrowing

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

sifted.eu·2d

Linux 7.0 Adds support For BPF Filtering To IO_uring

phoronix.com·1d

🪤Trap Handlers

Is there a way to keep the double pages permanent on an epub file? (Boox Note Air5 C)

i.redd.it·1d·

Discuss: r/Onyx_Boox

📝Rope Editors

Delete Operation in B+-Tree: Removing Without Destabilizing

dev.to·11h·

Discuss: DEV

Tip of the Week #231: Between Here and There: Some Minor Overlooked Algorithms

abseil.io·4d

🧮Combinator Calculus

Tracking Issue for Generic Constant Arguments MVP · Issue #132980

github.com·19h·

Discuss: Hacker News

🦀Rust Macros

SectorC: A C Compiler in 512 bytes (2023)

news.ycombinator.com·3d·

Discuss: Hacker News

🧸Toy Compilers

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

xda-developers.com·1d

🌐WASM Runtimes

Craig Interpolation in Program Verification

arxiv.org·1d

⚡Partial Evaluation

Rust Traits Deep Dive: Static vs. Dynamic Dispatch

dev.to·51m·

Discuss: DEV

🦀MIR Optimization

Tip of the Week #158: Abseil Associative containers and contains()

abseil.io·4d

🗂️Type Indexing

Loading more...