🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎮 Verification Games

Theorem Proving, Gamified Formal Methods, Interactive Verification, Learning Tools

SpatialChat, Instructure's Canvas LMS, and HyFlex Learning
spatial.chat·10h·
Discuss: Hacker News
🍎Apple
A Stroke of Genius: Striving for Greatness in All You Do by R.W. Hamming
cs.utexas.edu·1h·
Discuss: Hacker News
➡️Category Theory
Minimal balanced collections and their applications to core stability and other topics of game theory
arxiv.org·2d
🔠Type-Level Programming
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·16h·
Discuss: Hacker News
🛡️seL4
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·13h·
Discuss: Hacker News
🌐NetworkProtocols
DATABench: Evaluating Dataset Auditing in Deep Learning from an Adversarial Perspective
arxiv.org·2d
🧪Property-Based Testing
On Trustworthy Rule-Based Models and Explanations
arxiv.org·6h
✓Automated Theorem Proving
User simulators bridge RL with real-world interaction
jessylin.com·13h·
Discuss: Hacker News
🔍Formal Verification
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·6h
✓Automated Theorem Proving
Short-Term Gains, Long-Term Gaps: The Impact of GenAI and Search Technologies on Retention
arxiv.org·6h
💻CS
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·6h
💻CS
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
arxiv.org·2d
🧪Property-Based Testing
The Bitter Lesson (2025)
artfintel.com·2h·
Discuss: Hacker News
✓Automated Theorem Proving
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·6h
🐫OCaml
Social Tinkering: Why Collaborative Curiosity Beats Vibe-Coding
cosmosinstitute.substack.com·1d·
Discuss: Substack
🤖Program Synthesis
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·2d
✓Automated Theorem Proving
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
Show HN: Authorization in LLM Applications
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Layers of Lawyers and Liars
matthewbutterick.com·19h·
Discuss: Hacker News
✓Automated Theorem Proving
The Next Wave
dumindu.github.io·14h·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Loading...Loading more...
AboutBlogChangelogRoadmap