๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โœ“ Automated Theorem Proving

Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning

A process to find and extract data-points from graphs in pdf files
shape-of-code.comยท1d
๐Ÿ“„PostScript
What Makes NixOS Different (and Why It's Better)
dashdot.meยท1dยท
Discuss: Hacker News
โ„๏ธNix Adoption
An engineer's perspective: Why everything feels broken and what can we do
tushardadlani.comยท2hยท
Discuss: Hacker News
๐Ÿ›ก๏ธError Boundaries
Show HN: 1Server โ€“ Simplify Your Project Setup
1server.cthiriet.comยท8hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Cashfree Payments Saved 160 Hours of Manual Testing with Generative AI
tech.cashfree.comยท3dยท
Discuss: Hacker News
๐Ÿ”Concolic Testing
Show HN: Aiko โ€“ Easiest way to manage MCP configurations and credentials (Beta)
getaiko.appยท1dยท
Discuss: Hacker News
๐Ÿ”„Sync Engine
Show HN: I built Nexty.dev โ€“ 90 days since launch, 70 paid customers
nexty.devยท12hยท
Discuss: Hacker News
๐Ÿ”„RSS Infrastructure
Energy Driven Development
blog.waleson.comยท1dยท
Discuss: blog.waleson.com, Hacker News
๐Ÿ”ฉSystems Programming
Generating Emotions - The Future of Art, or Just Mimics of Expression?
hackernoon.comยท12h
๐Ÿ“Mathematical Art
AI Alignment and the Human Fabric of Deceit
d1gesto.blogspot.comยท3dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Who Built It? How Proof of Attribution Gives Credit Where Itโ€™s Due?
dev.toยท2dยท
Discuss: DEV
๐Ÿš€Indie Hacking
ShrinkBox: Backdoor Attack on Object Detection to Disrupt Collision Avoidance in Machine Learning-based Advanced Driver Assistance Systems
arxiv.orgยท1d
๐Ÿ•ต๏ธVector Smuggling
I Built an Tool to AI Agent Testing
dev.toยท4dยท
Discuss: DEV
โšกProof Automation
Ohm: A JavaScript library and PEG-based language for building parsers
github.comยท2dยท
Discuss: Hacker News
๐Ÿ“ABNF Parsing
Show HN: SilentGPT โ€“ Terminal ChatGPT Client in C (AES-256, No Telemetry)
github.comยท17hยท
Discuss: Hacker News
๐Ÿ“ŸTerminals
๐Ÿ”ฅ Claude Code pattern that saves 5-minute daily:
dev.toยท2dยท
Discuss: DEV
๐ŸŒณIncremental Parsing
๐Ÿ“ˆ Bug rate improvement after switching to AI assistants:
dev.toยท2dยท
Discuss: DEV
โœ๏ธOCR Correction
Linux 6.16 Released
lore.kernel.orgยท1dยท
Discuss: Hacker News, r/linux
๐Ÿ”ŒOperating system internals
๐Ÿš€ Just discovered this 30-second productivity hack:
dev.toยท17hยท
Discuss: DEV
๐Ÿ”BitFunnel
Tessera: A declarative, immediate-mode UI framework for Rust
github.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Borrowing
Loading...Loading more...
AboutBlogChangelogRoadmap