Package Hygiene in Alice, an experimental OCaml build system
alicecaml.org·1d·
Discuss: Hacker News
📦Package Managers
Flag this post
Symmetry Solved: Lightning-Fast Algorithms Unlock New Optimization Possibilities
dev.to·1d·
Discuss: DEV
🎨Graph Coloring
Flag this post
OSS Friday Update
noteflakes.com·1d·
Discuss: Lobsters, Hacker News
📡Erlang BEAM
Flag this post
Disparity-in-Differences: Extracting Hierarchical Backbones of Weighted Directed Networks
arxiv.org·2d
🌳Tree Algorithms
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
entropicdrift.com·1d·
Discuss: r/programming
📚Self-Documenting Code
Flag this post
I built a task system that survives Claude sessions and works across any AI tool - entirely made with Claude Code
taskr.one·1d·
Discuss: r/ClaudeAI
💬Interactive REPLs
Flag this post
Meditations on geometric packing
shvbsle.in·22h
🌊Effect Rows
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.io·22h·
Discuss: r/programming
🔗Concurrency Primitives
Flag this post
Modern X86 Assembly Language Programming • Daniel Kusswurm & Matt Godbolt • GOTO 2025
youtube.com·2d
🔧Assembly DSLs
Flag this post
Parallel C++ for Scientific Applications: Linear Algebra in C++
reddit.com·1d·
Discuss: r/cpp
🔀SIMD Programming
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·23h·
Discuss: Substack
📚Forth Compilers
Flag this post
SDA: Steering-Driven Distribution Alignment for Open LLMs without Fine-Tuning
arxiv.org·2d
🔍ML Language
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·1d
⚖️Inference Rules
Flag this post
LLM APIs are a Synchronization Problem
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
📦Message Serialization
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·13h·
Discuss: Hacker News
✅Type Checking
Flag this post
Dependency Inversion in C
volatileint.dev·4d·
Discuss: r/embedded
🌉Language Bindings
Flag this post
Go Memory Model Deep Dive: What Every Go Developer Must Know – Serge Skoredin
skoredin.pro·1d·
Discuss: Hacker News
🧠Memory Models
Flag this post
Probabilistic Graph Neural Inference for coastal climate resilience planning with ethical auditability baked in
dev.to·1d·
Discuss: DEV
🌲Deforestation
Flag this post
My code is 100% AI generated
jda.bearblog.dev·14h
📚Self-Documenting Code
Flag this post
10000
jro.sg·19h
📦Executable Size
Flag this post