🐿️ 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

Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·17h
🛡️seL4
Clay Shirky: The Only Real Solution to the A.I. Cheating Crisis
nytimes.com·8h·
Discuss: Hacker News
✓Automated Theorem Proving
[article/handbook] "Engineered for Confidence" - a 3 Part handbook on Unit Tests!
medium.com·3h·
Discuss: r/programming
🧪Property-Based Testing
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·1d·
Discuss: Hacker News
🔍Formal Verification
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·8h·
Discuss: Hacker News
✓Automated Theorem Proving
Apple study shows LLMs also benefit from the oldest productivity trick in the book
9to5mac.com·1d
🍎Apple
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·7h·
Discuss: Lobsters, Hacker News, r/programming
🔄Finite State Machines
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Visual AI flow manager for Genkit – Looking for early testers
flowshapr.ai·7h·
Discuss: Hacker News
🧪Property-Based Testing
I am smarter than ChatGPT (at Clues by Sam)
goose.leaflet.pub·1d·
Discuss: Hacker News
✓Automated Theorem Proving
How I built a schema-aware mock data generator for Prisma (and the challenges I ran into)
reddit.com·4h·
Discuss: r/programming
🐫OCaml
I open-sourced a protocol to create auditable logs for AI agents
medium.com·7h·
Discuss: Hacker News
✓Automated Theorem Proving
Avoiding the AI Agent Reliability Tax: A Developer’s Guide
thenewstack.io·5h
🔍Formal Verification
Making Games in Go: 3 Months Without LLMs vs. 3 Days with LLMs
marianogappa.github.io·2d·
Discuss: Hacker News, r/programming
🐫OCaml
Enabling Multi-Agent Systems as Learning Designers: Applying Learning Sciences to AI Instructional Design
arxiv.org·17h
✓Automated Theorem Proving
Paradigms of Intelligence Team
github.com·8h·
Discuss: Hacker News
✓Automated Theorem Proving
How to use LLMs for studying without bullshitting yourself
hellmayr.com·1h·
Discuss: Hacker News
✓Automated Theorem Proving
Hyper-Wordle strategies
chriskw.xyz·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Structural vs. Mathematical “Under” (2023)
dyalog.com·21h·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
Using Real Survey Data to Create Authentic AI Personas for Extended Research
askrally.com·9h·
Discuss: Hacker News
💾Retro Computing
Loading...Loading more...
AboutBlogChangelogRoadmap