🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚙️ Proof Engineering

Large-scale Verification, Proof Maintenance, Formal Development, Mathematical Software

Math drills for my daughter
hackster.io·1d
⚡Homebrew CPUs
You need to get started on ADA Title II compliance now: How to strategize funding, slash risk, and ensure ROI
deque.com·14h
🚚Data Migration
Google DeepMind CEO says one flaw is holding AI back from reaching full AGI
businessinsider.com·2h
🧠Intelligence Compression
On This Day in Math - August 9
pballew.blogspot.com·3d·
Discuss: www.blogger.com
📐Mathematical Art
MedusaLocker ransomware group is looking for pentesters
securityaffairs.com·23h
🏠Homelab Pentesting
Can Platform Engineering Accelerate AI Adoption?
thenewstack.io·12h
🔌Interface Evolution
The diversity of OpenStreetMap tools and how they help create a commons
tzovar.as·18h·
Discuss: Lobsters
🌱Personal Wikis
Show HN: Nut – App builder with test writing and time travel debugging
news.ycombinator.com·13h·
Discuss: Hacker News
🚀Indie Hacking
Hospital Shift Scheduling with OR-Tools
barkeywolf.consulting·1d·
Discuss: Hacker News
🔗Constraint Handling
GitHub - tomohiron907/Strecs3D
github.com·43m
📄Document Digitization
KeyPilot – Semantic API Gateway with Real-Time AI Routing & Caching
dev.to·1d·
Discuss: DEV
⚡Redis Internals
Testing the Limits of Machine Translation from One Book
arxiv.org·2h
🧮Kolmogorov Complexity
Sample-efficient LLM Optimization with Reset Replay
arxiv.org·1d
💻Local LLMs
ContextGuard-LVLM: Enhancing News Veracity through Fine-grained Cross-modal Contextual Consistency Verification
arxiv.org·2h
📰Content Curation
Towards Safer AI Moderation: Evaluating LLM Moderators Through a Unified Benchmark Dataset and Advocating a Human-First Approach
arxiv.org·2h
🤖AI Curation
Street-Level AI: Are Large Language Models Ready for Real-World Judgments?
arxiv.org·2h
🔲Cellular Automata
Robust-Sub-Gaussian Model Predictive Control for Safe Ultrasound-Image-Guided Robotic Spinal Surgery
arxiv.org·2h
🌀Differential Geometry
ASCoT: An Adaptive Self-Correction Chain-of-Thought Method for Late-Stage Fragility in LLMs
arxiv.org·4d
✅Formal Methods
I Built a Comprehensive AI Coding Tools Directory
dev.to·19h·
Discuss: DEV
🔌Archive APIs
LangGraph + SciPy: Building an AI That Reads Documentation and Makes Decisions
towardsdatascience.com·12h
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap