👑 Dependent Haskell - abnv · Scour

Introduction To Concurrency | Concurrency Interview | AlgoMaster.io

algomaster.io

·9h

🔗Concurrency Primitives

Large Language Models for Mortals book

andrewpwheeler.com·13h

Using Generative AI tooling with Clojure

dev.solita.fi·23h

#2 - Going to second base: know your boundaries

dev.to·1d·

Discuss: DEV

🚂Error Propagation

An introduction to lockless algorithms [LWN.net]

lwn.net·2d

🎯Ring Buffers

On the Tension Between Object-Oriented and Generic Programming in C++

artima.com·4d

🗂️Type Indexing

Sneaky quokka: Testing and debugging with LLMs

honnibal.dev·1d

🧪Parser Testing

Regime-Declared Mathematics as Survivor Sets

zboralski.github.io·2d·

Discuss: Hacker News

⚖️Inference Rules

Generate type-safe API clients from OpenAPI

orval.dev·1d·

Discuss: DEV

Static Analysis Under Non-Deterministic Program Assumptions

arxiv.org·1d

🔍Static Analysis

The Evolution of a Lean Programmer

unnamed.website·3d·

Discuss: Hacker News

🎭Staged Interpreters

Opus 4.6 Reasoning Distill 3k prompts

huggingface.co·1d·

Discuss: r/LocalLLaMA

🧩Constraint Solvers

JUXT Blog: From specification to stress test: a weekend with Claude

juxt.pro·23h

📡Erlang BEAM

Functional Optics for Modern Java

blog.scottlogic.com·2d

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

linkedin.com·2h·

Discuss: DEV

⚡Interpreter Optimization

A high-performance Go framework (250k+ req/sec) with built-in batteries

go-kvolt.github.io·1d

🤖Embedded Go

Gemini thinking | Gemini API | Google AI for Developers

ai.google.dev·2d

I don't like imports

kevincox.ca·2d·

Discuss: Hacker News

⚙️TOML Parsers

How I Used Claude Code to Teach Myself Rust

mlolson.github.io·7h·

Discuss: Hacker News, r/programming

🏗️Cranelift

bpftrace in C++

kuniga.me·1d

🔄Tail Call Analysis

Loading more...