🧠 Memory Models - hello · Scour

Constrained parallel tempering in traveling-salesman problems with circular neighborhoods

link.aps.org·2d

📮Multi-producer Queues

Simulating Leader Election on top of FoundationDB

pierrezemb.fr·4d

Stocking Stuffers

yamlscript.org·2d

Nonlinear random walks on hypergraphs characterized by higher-order interactions

sciencedirect.com·1d

🕸️Graph Theory

Flash Memory Explained: NAND vs NOR, Architecture, and Memory Organization

dev.to·1d·

Discuss: DEV

🧠Storage Class Memory

Longreads + Open Thread

thediff.co·1d

🔄Anti-Entropy

Technical writeup: Implementing Discord’s rate limiting, gateway management, and “clarity over magic”

scurry-works.github.io·22h·

Discuss: r/programming

LogicSkills: A Structured Benchmark for Formal Reasoning in Large Language Models

arxiv.org·7h

Linting intra-task concurrency and FutureLock

farnoy.dev·4d·

Discuss: r/rust

feldera/feldera: The Feldera Incremental Computation Engine

github.com·2d

My Second Brain Never Worked. Then I Gave It a Gardener.

robdodson.me·13h·

Discuss: Hacker News

🌿Digital Gardens

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

arxiv.org·3d

🔄Concurrency Patterns

Data-Oriented Programming for Java: Beyond Records

openjdk.org·3d

🏗️FoundationDB Layers

I Let AI Agents Train Their Own Models. Here's What Actually Happened.

hamzamostafa.com·8h·

Discuss: Hacker News

💬Prompt Engineering

How I Built My Project in Haskell

dev.to·1d·

Discuss: DEV

👻Phantom Types

Differential Logic • 4

inquiryintoinquiry.com·23h

🔍Type Inference

netbsd.fi·1d

🎆Firecracker

MicroBlaze MCS Seven-Segment Counter on Basys 3 FPGA

hackster.io·1d

🏗Computer Architecture

Agentic Proof-Oriented Programming

risemsr.github.io·3d·

Discuss: Lobsters, Hacker News

λFunctional Programming

slow abstraction

steel-water.bearblog.dev·5d

🔗Intrusive Containers

Loading more...