๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐ŸŽฏ Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

Using Provocations to Shake the Status Quo
open.nytimes.comยท1d
๐Ÿ“ŸCLI Design
Cracking the Code: Realtime Debugger Visualization Architecture โ€“ BSC 2025
rfleury.comยท17hยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Want Discriminated Unions in Kotlin? Use a Sealed Class.
spin.atomicobject.comยท9hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Three Chinese threat groups exploited SharePoint flaws, Microsoft
metacurity.comยท1d
๐Ÿ”“Hacking
Recursive Functions To Piss Off Your CS Professor
inventwithpython.comยท5dยท
Discuss: Hacker News, r/programming
๐Ÿ”—Lisp
ToolShell Mass Exploitation (CVE-2025-53770)
research.eye.securityยท3dยท
Discuss: Hacker News
๐ŸŽซKerberos Exploitation
Data quality for unbiased results: Preventing AI-induced hallucinations
datasciencecentral.comยท1d
๐Ÿ“ฐContent Curation
Vibe coding a Game Boy emulator
sanjeetnd.comยท1dยท
Discuss: Hacker News
๐ŸŽฏEmulator Accuracy
Anthropic researchers discover the weird AI problem: Why thinking longer makes models dumber
venturebeat.comยท23hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Python Round to Nearest Integer
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Interval Arithmetic
NumPy API on a GPU?
towardsdatascience.comยท17h
๐Ÿ–ฅ๏ธTerminal Renaissance
Now and Future of Artificial Intelligence-based Signet Ring Cell Diagnosis: A Survey
arxiv.orgยท17h
๐Ÿค–Advanced OCR
Canonical Representations of Markovian Structural Causal Models: A Framework for Counterfactual Reasoning
arxiv.orgยท17h
โœจEffect Handlers
A Formal Model of the Economic Impacts of AI Openness Regulation
arxiv.orgยท1d
๐Ÿ”“Open Source Software
Human-Machine Shared Control Approach for the Takeover of Cooperative Adaptive Cruise Control
arxiv.orgยท17h
โœจAlgebraic Effects
Learning to Gridize: Segment Physical World by Wireless Communication Channel
arxiv.orgยท1d
๐Ÿง Machine Learning
Proof-theoretic Semantics for First-order Logic
arxiv.orgยท5d
๐Ÿ—๏ธConstructive Logic
Dev Diary - Summarize Your Code. Reflect Your Progress
dev.toยท1hยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
Uncertainty-Aware Knowledge Transformers for Peer-to-Peer Energy Trading with Multi-Agent Reinforcement Learning
arxiv.orgยท17h
๐Ÿง Intelligence Compression
AI Agent Protocols Every Developer Should Know in 2025
dev.toยท2dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap