🌲 CTL

Computation Tree Logic, Branching Time, Model Checking

Weak-To-Strong Generalization
lesswrong.com·20h
🔤Kleene Algebra
Flag this post
[R] We found LRMs look great…until the problems get harder (AACL 2025)
reddit.com·3d·
Discuss: r/MachineLearning
🧮SMT Solvers
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·5h·
Discuss: DEV
🕸️Graph Theory
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
After the Last Git Commit
gist.github.com·2h·
Discuss: Hacker News
🔧DevOps
Flag this post
Is 'human' a risky AGI target
nullsy.com·23h·
Discuss: Hacker News
📚Automata Learning
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
github.com·10h·
Discuss: r/compsci, r/programming
💾Cachix
Flag this post
GIL and Race Condition in Python
dev.to·17h·
Discuss: DEV
⏰Timed Automata
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·2d·
Discuss: Lobsters, Hacker News
🔍Type Inference
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·2d
🔲Cellular Automata
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·2d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·1d·
Discuss: Hacker News
👁️System Observability
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.com·1d
⏱️Computational Complexity
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·1d·
Discuss: Substack
⚡Process Calculi
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·2d·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
Part 2: Building MCP Servers to Control a Home Coffee Roaster - An Agentic Development Journey with Warp Agent
dev.to·8h·
Discuss: DEV
🏠HomeLab
Flag this post
Turning 500 Lines of If-Else Into a Config Switch: Strategy Pattern in Go
dev.to·2d·
Discuss: DEV
🛡️seL4
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·2d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·2d
🧠Automated Reasoning
Flag this post
ParallelBench: Understanding the Trade-offs of Parallel Decoding in DiffusionLLMs
dev.to·4h·
Discuss: DEV
🔀OCaml Multicore
Flag this post