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

Automated Reasoning, Tactic Languages, Resolution, Unification

Opportunity knocks: getting your house in order for the AI action plan
techradar.com·1h
🌊Stream Processing
Predicting Faulty Validations in Cluster Issue Detection: A ML Approach - DevConf.CZ 2025
youtube.com·7h
📏Code Metrics
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·1d·
Discuss: Hacker News
🔗Constraint Handling
Using Amazon SageMaker AI Random Cut Forest for NASA’s Blue Origin spacecraft sensor data
aws.amazon.com·30m
🌀Differential Geometry
Define-ML: An Approach to Ideate Machine Learning-Enabled Systems
arxiv.org·12h
🧠Machine Learning
[$] Supporting kernel development with large language models
lwn.net·1h
💻Local LLMs
An ab initio foundation model of wavefunctions that accurately describes chemical bond breaking
arxiv.org·12h
🕸️Tensor Networks
SRFT: A Single-Stage Method with Supervised and Reinforcement Fine-Tuning for Reasoning
arxiv.org·1d
💻Local LLMs
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·1d·
Discuss: DEV
📏Code Metrics
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols(1750952117902400)
dev.to·36m·
Discuss: DEV
🌐Network Protocols
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·12h
✅Format Verification
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·12h
💻Local LLMs
Ecma International approves ECMAScript 2025: What’s new?
2ality.com·16h·
Discuss: Hacker News
🎯Gradual Typing
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
🚦 Dijkstra's Algorithm Explained – A Beginner's Guide
dev.to·6h·
Discuss: DEV
🕸️Graph Algorithms
Flame Graph Performance Truth Analysis(1750918443851900)
dev.to·9h·
Discuss: DEV
⚡Performance Tools
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.org·12h
🔲Cellular Automata
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·12h
⚡Incremental Computation
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·12h
🧠Intelligence Compression
AI is Hallucinating Package Names - And Hackers Are Ready
dev.to·15h·
Discuss: DEV
🚀Indie Hacking
Loading...Loading more...
AboutBlogChangelogRoadmap