🔓 Lock-Free Programming - hello · Scour

Proximity-driven acceleration of challenging solid-phase peptide couplings

pnas.org·13h

Eve-positional languages: putting order into B\"uchi automata

arxiv.org·21h

👻Phantom Types

Trip Report: Ad-Hoc Meeting on Threads in C++

artima.com·4d

🔄Memory Ordering

A pattern for safe database access with AI coding agents

docs.getpochi.com·1d·

Discuss: Hacker News, r/programming

🔒Two-Phase Locking

cs.tufts.edu·1d·

Discuss: Lobsters

🔨Compiler Design

process-compose

notes.billmill.org·1h

🐚Shell Scripting

Proving What's Possible

buttondown.com·8h

✅Model Checking

I Made a MCP for Contextual Memory for IDE's

dalexor.com·8h·

Discuss: r/SideProject

Optimizing the MongoDB Java Driver: How minor optimizations led to macro gains

linkedin.com·6h·

Discuss: DEV

📄FlatBuffers

Atomics in C++26?

meetingcpp.com·4d

🧠Memory Models

Ethereum Signature Schemes Explained: ECDSA, BLS, XMSS, and Post-Quantum leanSig with Rust Code Examples

blog.lambdaclass.com·2d

Designing and Using Combinators: The Essence of Functional Programming

cse.chalmers.se·2d·

Discuss: Hacker News

λFunctional Programming

AFMTJ Model For In-Memory Computing (University of Arizona)

semiengineering.com·1d

Deep C Dives: Undefined Behavior

i-programmer.info·14h

🎯Escape Analysis

How ‘effectively zero-knowledge’ proofs could transform cryptography

scientificamerican.com

·15h

🔢Homomorphic Encryption

Malicious Private Set Union with Two-Sided Output

eprint.iacr.org·2d

🔢Homomorphic Encryption

C++ Latch and Barrier

leimao.github.io·5d

[AINews] Qwen Image 2 and Seedance 2

latent.space·21h

Threads, processes and concurrency in Python: some thoughts

artima.com·4d

🔄Concurrency

nearai/ironclaw: IronClaw is OpenClaw inspired implementation in Rust focused on privacy and security

github.com·1d

Loading more...