๐Ÿฟ๏ธ 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

Opengrep Adds Apex Support and New Rule Controls in Latest Updates
socket.devยท2dยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
I moved my server out of my attic!
reddit.comยท3hยท
Discuss: r/homelab
๐Ÿ HomeLab
LarAgent v0.5: Powerful and API-Ready AI Agents for Laravel
blog.laragent.aiยท9hยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Java 25 puts 32-bit x86 out to pasture, adds 17 shiny new features
theregister.comยท2d
๐Ÿ’งLiquid Types
How is the Repository pattern usually used in Rust?
reddit.comยท1dยท
Discuss: r/rust
๐Ÿฆ€Rust Borrowing
Merge Strategies To Keep Builds Green in Large Monorepos
thenewstack.ioยท1d
๐Ÿ”„Reproducible Builds
Fulfillment of the Work Games: Warehouse Workers' Experiences with Algorithmic Management
arxiv.orgยท17h
๐ŸŒŠStreaming Systems
How Attention made the AI leap possible!
dev.toยท7hยท
Discuss: DEV
๐ŸŽงLearned Audio
Fast and Simple Multiclass Data Segmentation: An Eigendecomposition and Projection-Free Approach
arxiv.orgยท17h
๐Ÿ“Linear Algebra
From Backlinks to Data Depth: How LLMs Are Rewriting Content Authority
hackernoon.comยท1d
๐ŸŒ€Brotli Internals
Software Engineering Laws - Human Factors
leadership.gardenยท4h
๐Ÿง Intelligence Compression
Integrating Feature Attention and Temporal Modeling for Collaborative Financial Risk Assessment
arxiv.orgยท17h
๐Ÿง Machine Learning
impuTMAE: Multi-modal Transformer with Masked Pre-training for Missing Modalities Imputation in Cancer Survival Prediction
arxiv.orgยท17h
๐Ÿง Machine Learning
Building a Neural Network is Easy. The Hard Part is Making It Think
dev.toยท2dยท
Discuss: DEV
๐ŸŽงLearned Audio
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
PROPS: Progressively Private Self-alignment of Large Language Models
arxiv.orgยท2d
๐Ÿ’ปLocal LLMs
๐Ÿš€ Python for DevOps Week 2 & Week 3: Automating Daily Ops & Containerizing with Docker
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ฉSystems Programming
Automated Microbial Contamination Detection in Cleanrooms via Spectral Deconvolution & Deep Reinforcement Learning
dev.toยท11hยท
Discuss: DEV
๐Ÿ“„Document Digitization
What Happens When AI Gets Really Good at Programming?
dev.toยท2dยท
Discuss: DEV
๐Ÿ”„Language Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap