๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โ›๏ธ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Become a Partner of Dolphin Data Lab in Germany
dolphindatalab.comยท1d
๐Ÿ”ŒOperating system internals
What about 1392?
earth.hoyd.netยท1d
๐Ÿ“ŠAPL Heritage
Ruby for Good
ti.toยท1dยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Retry Loop Retry
matklad.github.ioยท21hยท
Discuss: Lobsters, Hacker News
๐Ÿ›ก๏ธError Boundaries
Justice Jackson Correctly Defines The John Roberts Supreme Court As The Calvinball Court
techdirt.comยท1d
๐Ÿ”ฒProof Irrelevance
How to Securely Buy an OnlyFans Account Without Getting Scammed (2025 Guide)
dev.toยท2hยท
Discuss: DEV
๐Ÿ›ก๏ธPreservation Proofs
Interoperability in 2025: Beyond the Erlang VM
elixir-lang.orgยท5dยท
Discuss: Lobsters, Hacker News
๐Ÿ”’Linear Types
Modern Solution: Convicted IT expert files constitutional complaint
heise.deยท2d
๐Ÿ”“Hacking
I wasn't taught Git in school
youtube.comยท1dยท
Discuss: r/programming
๐ŸŒณGit Internals
One Prompt, Zero Engineers: Your New Internal Dev
a16z.comยท3dยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Utilizing the RAIN method and Graph SAGE Model to Identify Effective Drug Combinations for Gastric Neoplasm Treatment
arxiv.orgยท3d
๐Ÿ”—Topological Sorting
[R] Virtuous Machines: Towards Artificial General Science
reddit.comยท3dยท
Discuss: r/MachineLearning
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
MISS: Multi-Modal Tree Indexing and Searching with Lifelong Sequential Behavior for Retrieval Recommendation
arxiv.orgยท2d
๐Ÿ”Search Indexing
How to Create Powerful LLM Applications with Context Engineering
towardsdatascience.comยท5dยท
Discuss: r/LLM
๐Ÿ”—Constraint Handling
UniECS: Unified Multimodal E-Commerce Search Framework with Gated Cross-modal Fusion
arxiv.orgยท3d
๐Ÿ”Information Retrieval
How to Choose the Right AI Development Partner: Tips for Success
dev.toยท1dยท
Discuss: DEV
๐ŸŒCultural Algorithms
Out-of-Sample Hydrocarbon Production Forecasting: Time Series Machine Learning using Productivity Index-Driven Features and Inductive Conformal Prediction
arxiv.orgยท2d
๐Ÿง Machine Learning
Google downplays AI's environmental impact in new study
the-decoder.comยท12h
๐Ÿง Intelligence Compression
A Fully Transformer Based Multimodal Framework for Explainable Cancer Image Segmentation Using Radiology Reports
arxiv.orgยท3d
๐Ÿง Machine Learning
Breaking the SFT Plateau: Multimodal Structured Reinforcement Learning for Chart-to-Code Generation
arxiv.orgยท3d
๐Ÿ“ŠLearned Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap