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

Modular PIC C2 Agents
rastamouse.me·2d
🌐WASI
MIT 6.1200J Mathematics for Computer Science, Spring 2024
ocw.mit.edu·6h·
Discuss: Hacker News
💻CS
P Verified
b-hilprecht.github.io·16h·
Discuss: Lobsters, Hacker News, r/programming
🤝Distributed Consensus
An LLM-based chatbot promised a 50% discount due to hallucination
haebom.dev·11h·
Discuss: Hacker News
📝ABNF Parsing
How to Invent Defense Products (2022)
vannevarlabs.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Show HN: An OCR PDF large batch renaming tool
github.com·6h·
Discuss: Hacker News
🤖Archive Automation
Building Sentient Space(a social media platform): A Story of AI Speed, Human Grit, and a Bug That Wouldn't Die
dev.to·4h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Machine Learning Fundamentals: ensemble learning project
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Agent Engineering: Orchestrating and Architecting Intelligent AI Agents
dev.to·1d·
Discuss: DEV
⚙️TLA+
Common security pitfalls using Vibe coding
dev.to·1d·
Discuss: DEV
🔓Hacking
Cognitive Castes: Artificial Intelligence, Epistemic Stratification, and the Dissolution of Democratic Discourse
arxiv.org·1d
🌍Cultural Algorithms
Conformal Data Contamination Tests for Trading or Sharing of Data
arxiv.org·2d
📰Content Curation
Proof-theoretic Semantics for First-order Logic
arxiv.org·5d
🏗️Constructive Logic
Question-Answer Extraction from Scientific Articles Using Knowledge Graphs and Large Language Models
arxiv.org·2d
🔍Information Retrieval
[P] Echoes of GaIA: modeling evolution in biomes with AI for ecological studies.
reddit.com·1d·
Discuss: r/MachineLearning
🔲Cellular Automata
Can LLMs Infer Personality from Real World Conversations?
arxiv.org·1d
💻Local LLMs
Radiological and Biological Dictionary of Radiomics Features: Addressing Understandable AI Issues in Personalized Breast Cancer; Dictionary Version BM1.0
arxiv.org·6h
🧠Machine Learning
HuggingGraph: Understanding the Supply Chain of LLM Ecosystem
arxiv.org·1d
🔗Supply Chain
Can AI think—and should it? What it means to think, from Plato to ChatGPT
phys.org·1d
🔲Cellular Automata
Signs of the Past, Patterns of the Present: On the Automatic Classification of Old Babylonian Cuneiform Signs
arxiv.org·2d
🤖Paleographic ML
Loading...Loading more...
AboutBlogChangelogRoadmap