Machine learning by satisfiability solving
johndcook.com·3d
📈Complexity Theory
The Forgotten Research That Fixed The Worst Physics Bug!
youtube.com·1h
🔗Parser Combinators
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·1d
📝Lisp
From Zero to Sudoku Hero: An RL Adventure
cerebras.ai·2d
📈Complexity Theory
Complete DSA Learning Roadmap in C++: From Beginner to Advanced
dev.to·8h·
Discuss: DEV
🧮Programming Language Theory
Issue 483
haskellweekly.news·3d
⚙Functional Programming
Follow-up: I Built a Simple Thread Pool in Zig After Asking About Parallelism
reddit.com·3d·
Discuss: r/Zig
⚡Concurrency
The Summer of Codex
paylias.xyz·1d·
Discuss: Hacker News
⚙Functional Programming
Show HN: List of Clojure-Like projects
github.com·1d·
Discuss: Hacker News
🔧Compiler Design
EP174: 16 Coding Patterns That Make Interviews Easy
blog.bytebytego.com·1d
🔌Network Programming
Is EXL3 doomed?
github.com·2h·
Discuss: r/LocalLLaMA
🔧Compiler Design
cchistory: Tracking Claude Code System Prompt and Tool Changes
mariozechner.at·17h·
Discuss: Lobsters, Hacker News
🧩Theorem Proving
Categorising My Daily Todo List with Deepseek-R1
bentasker.co.uk·3d·
Discuss: Hacker News
🔗Parser Combinators
ADHGR: An optimized adaptive disintegration strategy targeting heterogeneous UAV swarms based on graph reinforcement learning
sciencedirect.com·4h
🎲Probabilistic Programming
🔄 Mastering Repeat/Until Loops in Uniface: A Developer's Guide
dev.to·4h·
Discuss: DEV
📝Lisp
Why not? Developing ABox Abduction beyond Repairs
arxiv.org·4d
🧩Theorem Proving
Connect AI to microM8 Apple IIe Emulator and turtleSpaces Logo using MCP (Model Context Protocol) for ‘Vibe Coding’ and other activities…
paleotronic.com·21h
🔧Compiler Design
Designing Vector Embeddings: A Finding Nemo Journey Through Redis Vector Sets
dev.to·2h·
Discuss: DEV
🔗Parser Combinators
Hierarchical Reasoning Model
threadreaderapp.com·20h
🎲Probabilistic Programming
TypeScript 5.9 is here, GLM 4.5 is EPIC for Programming, Node.js 22.18 LTS, and more
dev.to·35m·
Discuss: DEV
🔧Compiler Design