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

OTW - Bandit Level 0 to Level 1
tbhaxor.com·11h
🛡️CLI Security
How modern frontend teams approach automated testing
testdouble.com·2d
🔍Concolic Testing
Figma's S-1/A from their IPO today
sec.gov·21h·
Discuss: Hacker News
⚡HTMX
Rebuilding an old project paid off, literally!
pro.hextaui.com·11h·
Discuss: Hacker News
🎬WebCodecs
Show HN: I created an AI writing app that helps you write books
bookswriter.xyz·3d·
Discuss: Hacker News
🎙️Whisper
How many NYT spelling bees are left?
gauthamsk.substack.com·3d·
Discuss: Substack
🌳Trie Structures
Parsec — Terminal-Based File Summarizer TUI in Go with Multi-language Support
reddit.com·21h·
Discuss: r/golang
🧠Lisp Dialects
Collaborative State Machines: A Better Programming Model for the Cloud-Edge-IoT Continuum
arxiv.org·2d
🌊Streaming Systems
Confusion Matrix Made Simple: Accuracy, Precision, Recall & F1-Score
towardsdatascience.com·2d
🔍Information Retrieval
ChartMark: A Structured Grammar for Chart Annotation
arxiv.org·2d
🔢Denotational Semantics
Predicting Maintenance Cessation of Open Source Software Repositories with An Integrated Feature Framework
arxiv.org·2d
🔗Topological Sorting
Six Principles for Production AI Agents
app.build·4d·
Discuss: Hacker News
⚙️TLA+
Data Leakage and Redundancy in the LIT-PCBA Benchmark
arxiv.org·2d
⚡Performance Mythology
building sales agents that know their stuff: vocallq's domain expertise approach
dev.to·4d·
Discuss: DEV
🗣️Domain-Specific Languages
Should You Validate Again? A Smarter Way to Handle Data Trust
hackernoon.com·2d
✅Format Verification
AQUA: A Large Language Model for Aquaculture & Fisheries
arxiv.org·3d
💻Local LLMs
Survey of NLU Benchmarks Diagnosing Linguistic Phenomena: Why not Standardize Diagnostics Benchmarks?
arxiv.org·3d
⚙️Compression Benchmarking
Can large language models assist choice modelling? Insights into prompting strategies and current models capabilities
arxiv.org·2d
💻Local LLMs
Vertical AI Doesn’t Just Demo—It Delivers
hackernoon.com·1d
🔐Capability Systems
Build dynamic web research agents with the Strands Agents SDK and Tavily
aws.amazon.com·1d
🏠Homelab Orchestration
Loading...Loading more...
AboutBlogChangelogRoadmap