Beyond Bézier
beyondbezier.ch·1d·
Discuss: Hacker News
🧮Programming Language Theory
We now have the math to describe 'matrix tides'
buffalo.edu·1d·
Discuss: Hacker News
🧫Cellular Automata
How to enable basedpyrights semantic highlighting (variables have slightly different color) on nvim with python?
gist.github.com·1d·
Discuss: r/neovim
🔧Compiler Design
DeepSeek v3.1 released with hybrid inference, faster thinking, and upgraded agent skills
alternativeto.net·1d
🧭SMT Solvers
Why Is This Hard?
programmersstone.blog·3d·
Discuss: Lobsters, Hacker News
🧩Theorem Proving
Kansas State vs. Iowa State live stream, where to watch, TV channel, odds, spread, prediction, pick
cbssports.com·18h
🧮Programming Language Theory
Weird little games, summer edition
blog.zarfhome.com·12h
🤖Sci-Fi
Why agent pathfinding gets messy: global planning vs local avoidance coordinate transforms
medium.com·3d·
Discuss: r/programming
🧫Cellular Automata
I built Puhu, a pillow drop-in replacement in Rust
reddit.com·1d·
Discuss: r/rust
🦀Rust
MCP Security Risks Multiply With Each New Agent Connection
thenewstack.io·1d
🤝Protocol Design
The AI Building Block You’ve Never Heard Of (But Use Every Day)
hackernoon.com·4d
🔗Parser Combinators
Security news weekly round-up - 22nd August 2025
dev.to·1d·
Discuss: DEV
🛡️IoT Security
CardAIc-Agents: A Multimodal Framework with Hierarchical Adaptation for Cardiac Care Support
arxiv.org·4d
🎲Probabilistic Programming
JS/C++ dev looking for the right Rust learning path
reddit.com·1d·
Discuss: r/rust
🦀Rust
Graph Concept Bottleneck Models
arxiv.org·3d
🎲Probabilistic Programming
Hybrid Intelligence Systems and Cognitive Biases in AI: Integrating Large Language Models with Classical Reasoning for E
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Mastering Self-Consistency Prompting
dev.to·3d·
Discuss: DEV
🧭SMT Solvers
I made dynamic_string.h - a single-header C library with reference counting and immutable strings
reddit.com·2d·
Discuss: r/C_Programming
🔧Compiler Design
MCP Proxy Pattern: Secure, Retrieval-First Tool Routing for Agents
dev.to·3d·
Discuss: DEV
🎲Probabilistic Programming
I asked ChatGPT-5 to send a message to ChatGPT-10. Here’s what it wrote.
reddit.com·1d·
Discuss: r/ChatGPT
🧫Cellular Automata