🔓 Lock-Free Programming - hello · Scour

Privacy-preserving data analysis using a memristor chip with colocated authentication and processing

science.org·22h

🏷️Memory Tagging

🎲 TypeScript strictness is non-monotonic: strict-null-checks and no-implicit-any interact

huonw.github.io·16h

Logic for Programmers New Release and Next Steps

buttondown.com·2d

Status update, January 2026

bisco.org·1d

Great Power, Great Latency: The Spider-Sense of NUMA Tuning

mydbanotebook.org·2d

Self-Host Weekly (6 February 2026)

selfh.st·23h

🏠Self-hosting

GTK hackfest, 2026 edition

blogs.gnome.org·1d

Claude's new capabilities

linkedin.com·4h

⚡LMAX Disruptor

🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward.com·2d

✓Formal Verification

Everything in Git: Running a Trading Signal Platform on NixOS

pxdynamics.com·1d·

Discuss: Hacker News

Bitcoin PIPEs v2

eprint.iacr.org·2d

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

arxiv.org·1d

Understanding Concurrency Through Everyday Life Examples

dev.to·2d·

Discuss: DEV

🔄Concurrency

ahead-of-time wasm gc in wastrel

wingolog.org·20h·

Discuss: Lobsters, Hacker News

🎯WASM Runtime

Efficient Bayesian Sieve Modeling for Predicting Twin Prime Density in Large Numerical Ranges **Abstract** The distribution of twin primes—pairs of primes se...

freederia.com·1d

📊HyperLogLog

Refactoring 038

dev.to·1d·

Discuss: DEV

λFunctional Programming

Abstract Framework for All-Path Reachability Analysis

arxiv.org·2d

Lessons from BF-Tree: Building a Concurrent Larger-Than-Memory Index in Rust

zhihanz.github.io·2d·

Discuss: Hacker News

🏛️Region-Based Memory

First Proof | Research-Level Math for AI Evaluation

1stproof.org·1d·

Discuss: Hacker News

🧮SMT Solvers

Easy 6502 by skilldrick

skilldrick.github.io·1d

🌳Instruction Selection

Loading more...