🔮 Clojure - abnv · Scour

Stocking Stuffers

yamlscript.org·7h

🔗Lexical Scoping

YS — YAML Done Wisely

yamlscript.org·7h

🧼Lisp Hygiene

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

isocpp.org·2d

🔗Concurrency Primitives

How I Extend My Workflow with Claude Code CLI

spin.atomicobject.com·16h

💬Interactive REPLs

java sucks (2000)

jwz.org·3d·

Discuss: Lobsters

Teaching Claude Code Your Standards

github.com·1d·

Discuss: DEV

📚Self-Documenting Code

How Lisp Became God's Own Programming Language

twobithistory.org·3d

🖥️Lisp Machines

Refactoring 038

dev.to·1d·

Discuss: DEV

🌈Gradual Languages

I Built a 6 BIPS JIT in Five Months

unlikelyemphasis.substack.com·1d·

Discuss: Substack

📜Bytecode Interpreters

Zlob.h 100% POSIX and glibc compatible globbing lib that is faste and better

github.com·7h·

Discuss: Hacker News, r/Zig, r/rust

Zero-Latency Local AI: Tuning Your Linux Kernel for LLM Inference 🐧🧠

dev.to·2h·

Discuss: DEV

🗺️Region Inference

theprogrammersparadox.blogspot.com·19h·

Discuss: Hacker News

llOOPy lOOPs (Dave Jarvis)

dave.autonoma.ca·1d

🤐Zipper Structures

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

gavinhoward.com·2d

🚂Error Propagation

Fresh: A terminal text editor you can just use

getfresh.dev·20h·

Discuss: Hacker News

💻Terminal UIs

[$] Modernizing swapping: the end of the swap map

lwn.net·1d

⏭️Skip Lists

Logic for Programmers New Release and Next Steps

buttondown.com·2d

📋Souffle Datalog

Flow-Based Programming: Seminal Texts and Theoretical Foundations

repolex.ai·1d·

Discuss: Hacker News

🌊Reactive Languages

ahead-of-time wasm gc in wastrel

wingolog.org·21h·

Discuss: Lobsters, Hacker News

🌐WASM Runtimes

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·21h

📡Erlang BEAM

Loading more...