π Pi Calculus - abnv · Scour

Threads, processes and concurrency in Python: some thoughts

artima.com·16h

🔗Concurrency Primitives

Differential Logic • 4

inquiryintoinquiry.com·2h

∫Mathematical DSLs

Fibonacci numbers and time-space tradeoffs

johndcook.com·1h

🎯Bit Vectors

Agentic Proof-Oriented Programming

risemsr.github.io·2d·

Discuss: Lobsters, Hacker News

🔗Concatenative Languages

philipl/pifs: πfs - the data-free filesystem!

github.com·23h·

Discuss: Hacker News

🔄Deduplication

Heterogeneous Processing: A Strategy for Augmenting Moore's Law (2006)

linuxjournal.com·1h·

Discuss: Hacker News

🔀SIMD Programming

Atomics in C++26?

meetingcpp.com·16h

🧠Memory Models

Performance Tip of the Week #83: Reducing memory indirections

abseil.io·16h

💾Cache Algorithms

Let Lambda Come Over

yamlscript.org·1d

λLambda Calculus

Introduction to Abject-Oriented Programming (2007)

typicalprogrammer.com·59m·

Discuss: Hacker News

📚Self-Documenting Code

From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI

news.ycombinator.com·3h·

Discuss: Hacker News

🚂Error Propagation

Flow-Based Programming: Seminal Texts and Theoretical Foundations

repolex.ai·2d·

Discuss: Hacker News

🌊Reactive Languages

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories

arxiv.org·2d

⚡Effect Handlers

Concurrency Flavours -- Lucian Radu Teodorescu : Standard C++

isocpp.org·3d

🔗Concurrency Primitives

Concurrency Deep Dive: Memory Models, Lock-Free, and RCU

dev.to·1d·

Discuss: DEV

🧠Memory Models

Coroutine Types

abseil.io·16h

Build a Compiler in Five Projects

kmicinski.com·1d

🎭Racket Modules

Raspberry Pico: Programming with PIO State Machines

admantium.com·2d

🤖Embedded Go

My Most Important C++ Aha! Moments...Ever

artima.com·16h

Command and Control

halfworkshq.itch.io·1h

🐛Interactive Debuggers

Loading more...