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

β€œI Have a Theory Too”: The Challenge and Opportunity of Avocational Science
writings.stephenwolfram.comΒ·1h
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
I moved my server out of my attic!
reddit.comΒ·5hΒ·
Discuss: r/homelab
🏠HomeLab
LarAgent v0.5: Powerful and API-Ready AI Agents for Laravel
blog.laragent.aiΒ·11hΒ·
Discuss: Hacker News
πŸ”ŒInterface Evolution
Harnessing AI's potential on the mainframe
techradar.comΒ·9h
🏒IBM Mainframes
Show HN: Astro Personal Portfolio and Blog with Perfect Lighthouse Scores
github.comΒ·2hΒ·
Discuss: Hacker News
πŸ¦‹Format Metamorphosis
Show HN: ChromeTabOverflow: manage your Chrome tab overload with markdown and ai
github.comΒ·2hΒ·
Discuss: Hacker News
πŸͺŸAwesome windows command-line
Fulfillment of the Work Games: Warehouse Workers' Experiences with Algorithmic Management
arxiv.orgΒ·19h
🌊Streaming Systems
Fast and Simple Multiclass Data Segmentation: An Eigendecomposition and Projection-Free Approach
arxiv.orgΒ·19h
πŸ“Linear Algebra
How Attention made the AI leap possible!
dev.toΒ·9hΒ·
Discuss: DEV
🎧Learned Audio
AI Scale Stack : Boosting Innovation and Growth
dev.toΒ·22mΒ·
Discuss: DEV
πŸ‘οΈObservatory Systems
Software Engineering Laws - Human Factors
leadership.gardenΒ·6h
🧠Intelligence Compression
Integrating Feature Attention and Temporal Modeling for Collaborative Financial Risk Assessment
arxiv.orgΒ·19h
🧠Machine Learning
impuTMAE: Multi-modal Transformer with Masked Pre-training for Missing Modalities Imputation in Cancer Survival Prediction
arxiv.orgΒ·19h
🧠Machine Learning
Building a Neural Network is Easy. The Hard Part is Making It Think
dev.toΒ·3dΒ·
Discuss: DEV
🎧Learned Audio
PROPS: Progressively Private Self-alignment of Large Language Models
arxiv.orgΒ·2d
πŸ’»Local LLMs
CATP: Contextually Adaptive Token Pruning for Efficient and Enhanced Multimodal In-Context Learning
arxiv.orgΒ·2d
πŸ“ŠLearned Metrics
CountQA: How Well Do MLLMs Count in the Wild?
arxiv.orgΒ·2d
πŸ’»Local LLMs
Automated Microbial Contamination Detection in Cleanrooms via Spectral Deconvolution & Deep Reinforcement Learning
dev.toΒ·13hΒ·
Discuss: DEV
πŸ“„Document Digitization
Heartificial Intelligence: Exploring Empathy in Language Models
arxiv.orgΒ·1d
πŸ›Digital humanities
How I Used Claude to Create and Assign Issues in Linear
dev.toΒ·2dΒ·
Discuss: DEV
πŸ‘‘Isabelle
Loading...Loading more...
AboutBlogChangelogRoadmap