Travels, 10
cameroncounts.wordpress.com·7h
🎯Performance Proofs
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
You Are the Main Thread
claudelog.com·7h·
Discuss: Hacker News
🔲Cellular Automata
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Show HN: Writer J – AI Content Generator with 7-Step SEO Workflow
writer-j.com·1d·
Discuss: Hacker News
🔃Feed Algorithms
LangGraph.js: Framework to build resilient language agents as graphs
github.com·1d·
Discuss: Hacker News
🎙️Whisper
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·7h·
Discuss: Substack
🦀Rust Macros
Graph Algorithms Explained: Finding Paths and Connections
dev.to·1d·
Discuss: DEV
🕸️Graph Algorithms
Computation of Immediate Neighbours of Monotone Boolean Functions
arxiv.org·1d
🔲Cellular Automata
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·14h·
Discuss: DEV
⚡Performance Tools
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
CEGA: A Cost-Effective Approach for Graph-Based Model Extraction and Acquisition
arxiv.org·1d
🧮Prolog Parsing
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·8h·
Discuss: DEV
📏Code Metrics
A Study of Dynamic Stock Relationship Modeling and S&P500 Price Forecasting Based on Differential Graph Transformer
arxiv.org·1d
🧠Machine Learning
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
An All-Around Better Horse
patrickhebron.com·5h·
Discuss: Hacker News
🧠Knowledge Management
Universal Solvability for Robot Motion Planning on Graphs
arxiv.org·1d
🎨Graph Coloring