Decentralized Causal Discovery using Judo Calculus
arxiv.org·4h
⚔️Lean Tactics
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·8h·
Discuss: Hacker News
📏Code Metrics
Flag this post
Coding Scalable UIs In Cursor With Kombai
dev.to·11h·
Discuss: DEV
🔗Concatenative Programming
Flag this post
Claude Agent Skills: A First Principles Deep Dive
leehanchung.github.io·5h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
10-26-building-the-rope-operation-for-tensorrent-hardware at Clehaxze
clehaxze.tw·1d
⚡SIMD Vectorization
Flag this post
The Future of Coding – From Syntax to Intention
future.forem.com·1d·
Discuss: DEV
🛠Language Design
Flag this post
My First Rust Project
binwang.me·1d
🦀Rust Macros
Flag this post
Beyond ‘Shift Left’: Improving AI Training Data
thenewstack.io·19h
📏Code Metrics
Flag this post
Convert any GitHub repo to coding puzzles
github.com·14h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Discovering Heuristics with Large Language Models (LLMs) for Mixed-Integer Programs: Single-Machine Scheduling
arxiv.org·4h
🧮SMT Solvers
Flag this post
Modern JavaScript Concurrency – 2025 Edition
blog.gaborkoos.com·12h·
Discuss: Hacker News
🌊Stream Processing
Flag this post
My Rough and Incomplete Back End Developer Skill Tree
iainschmitt.com·18h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Using Claude Skills with Neo4j
towardsdatascience.com·15h
🕸️Neo4j
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·9h·
Discuss: Hacker News
🧠Separation Logic
Flag this post
A Spatio-Temporal Graph Learning Approach to Real-Time Economic Dispatch with Multi-Transmission-Node DER Aggregation
arxiv.org·4h
🔄Graph Rewriting
Flag this post
Show HN: Rethinking the Interface for Vibe Coding
mauriciogomes.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
Claude Code v2.0.28: Specialized Subagents and the Architecture of Production-Ready Agentic Development
dev.to·20h·
Discuss: DEV
⚡Incremental Computation
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·4h
💻Programming languages
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧪Binary Fuzzing
Flag this post