šŸæļø ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

If you can generate obfuscated chain-of-thought, can you monitor it?
lesswrong.comĀ·15m
šŸ”Cryptography
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.netĀ·2dĀ·
Discuss: Lobsters, Hacker News
šŸ“Lisp
Hyperproperty-Constrained Secure Reinforcement Learning
arxiv.orgĀ·12h
šŸ”Cryptography
Tools for AI assisted Software development
feed.thoughtbot.comĀ·16h
🧩Theorem Proving
Machine learning by satisfiability solving
johndcook.comĀ·3d
šŸ“ˆComplexity Theory
[P] Implementing Einsum
lyadalachanchu.github.ioĀ·17h
āš™Functional Programming
I Built a Custom MCP Server in Golang To Make Claude Smarter—Here's How
hackernoon.comĀ·5h
šŸ¦€Rust
Kruskal Algorithm C++: Story
dev.toĀ·1dĀ·
Discuss: DEV
āš–ļøLogic Programming
How LLMs See the World
blog.bytebytego.comĀ·31m
šŸ”§Compiler Design
Twentyseven 1.0.0
blog.poisson.chatĀ·3dĀ·
Discuss: Hacker News
āš™Functional Programming
Carnival of Maths #241
aperiodical.comĀ·4h
šŸ”¢Mathematical Logic
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.comĀ·1dĀ·
Discuss: Hacker News
šŸ”§Compiler Design
Day 22 of #100DaysOfRust: Closures in Rust
dev.toĀ·10hĀ·
Discuss: DEV
āš™Functional Programming
Constructive Disintegration and Conditional Modes
arxiv.orgĀ·12h
šŸ”¢Mathematical Logic
Let's hax0r a GC… (eventually)
h4x0r.orgĀ·49mĀ·
Discuss: Lobsters, Hacker News
🧠Memory Management
Building Testable Telegram Bots with Zustand
zwit.linkĀ·16hĀ·
Discuss: Hacker News
šŸ¤Protocol Design
Import AI 423: Multilingual CLIP; anti-drone tracking; and Huawei kernel design
jack-clark.netĀ·6h
šŸŽ²Probabilistic Programming
Little Mistakes in AI Can Lead to Big Problems
hackernoon.comĀ·11h
šŸ”—Parser Combinators
Langfuse Goes Truly Open Source
i-programmer.infoĀ·1h
šŸ‘Open Source Software
Zprof: a cross-allocator profiler for Zig
reddit.comĀ·2hĀ·
Discuss: r/Zig
🧠Memory Management
Loading...Loading more...
AboutBlogChangelogRoadmap