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

Beginner HomeLab for Programming and testing phase/VM
reddit.com·14h·
Discuss: r/homelab
🏠HomeLab
Monitoring Heroku Applications with OpenTelemetry
dash0.com·6h·
Discuss: Hacker News
📦Container Security
Lucidly Launches a New Platform to Redefine Website Proofing and Collaboration
markets.businessinsider.com·1d·
Discuss: Hacker News
🚀Indie Hacking
Think You Don't Manage Your Knowledge? Think Again
notelab.hypotheses.org·1d·
Discuss: Hacker News
🧠Knowledge Management
18 months. 12,000 questions. A whole lot of anxiety. What I learned from reading students’ ChatGPT logs
theguardian.com·2d·
Discuss: Hacker News, Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Last Week on My Mac: 🦉 No AI content
eclecticlight.co·2d·
Discuss: Hacker News
🌀Brotli Internals
Kinase enzymes exist throughout tree of life—those found in bacteria may be vulnerable targets for new antibiotics
phys.org·3h
🧬Copy Number Variants
Diving Deep: The Mechanics of Multiple Linear Regression
dev.to·12h·
Discuss: DEV
🧠Machine Learning
Bulletproof Go: Security Practices That Actually Work 🔐
dev.to·3d·
Discuss: DEV
🧪CBOR Fuzzing
SynPAIN: A Synthetic Dataset of Pain and Non-Pain Facial Expressions
arxiv.org·11h
📊Learned Metrics
ChatGPT Agent Mode Explained
hackernoon.com·20h
⚡Proof Automation
🎨 Clean code setup that boosts focus:
dev.to·18h·
Discuss: DEV
📟CLI Design
🚀 Just discovered this 5-minute productivity hack:
dev.to·12h·
Discuss: DEV
⛏️File Carving
Machine Learning Fundamentals: gradient descent with python
dev.to·3d·
Discuss: DEV
⚡Incremental Computation
Attributed Graph Clustering with Multi-Scale Weight-Based Pairwise Coarsening and Contrastive Learning
arxiv.org·11h
🌊Spectral Clustering
Physics-informed transfer learning for SHM via feature selection
arxiv.org·11h
🧠Machine Learning
Learning Individual Intrinsic Reward in Multi-Agent Reinforcement Learning via Incorporating Generalized Human Expertise
arxiv.org·1d
🔲Cellular Automata
Does AI and Human Advice Mitigate Punishment for Selfish Behavior? An Experiment on AI ethics From a Psychological Perspective
arxiv.org·11h
🔲Cellular Automata
🚀 Just discovered this evening productivity hack:
dev.to·19h·
Discuss: DEV
🌱Personal Wikis
NIRS: An Ontology for Non-Invasive Respiratory Support in Acute Care
arxiv.org·11h
🗂️Information Architecture
Loading...Loading more...
AboutBlogChangelogRoadmap