🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🤝 Unification Algorithms

Type Inference, Pattern Matching, Logic Programming, Term Unification

Double Maths First Thing: Issue 31
aperiodical.com·2d
⚙️Proof Engineering
Get started with folder automation in macOS Tahoe
sixcolors.com·13h
🤖Archive Automation
Circular Tone Generator
rumble.monster·2d·
Discuss: Hacker News
🎼Audio Lambda Calculus
I spent weeks understanding Netflix's recommendation system - here's what I learned (Matrix Factorization breakdown + working code)
beyondit.blog·3d
🎛️Feed Filtering
Scientists May Soon Find a Missing Piece That Could Fracture String Theory
popularmechanics.com·2d
🧮Theoretical Computer Science
Dolthub/go-MySQL-server: A MySQL-compatible database, in pure Go
github.com·2d·
Discuss: Hacker News
🦀Rusty Databases
Evaluating Imputation Techniques for Short-Term Gaps in Heart Rate Data
arxiv.org·3d
📊Count-Min Sketch
Uncertainty-Driven Reliability: Selective Prediction and Trustworthy Deployment in Modern Machine Learning
arxiv.org·4d
🧠Machine Learning
From Code to Cloud: A Three-Act Playbook for Enterprise AI Transformation
dev.to·2d·
Discuss: DEV
⚡SMT Integration
MInDI-3D: Iterative Deep Learning in 3D for Sparse-view Cone Beam Computed Tomography
arxiv.org·2d
🏺Computational Archaeology
Provably positivity-preserving, globally divergence-free central DG methods for ideal MHD system
arxiv.org·3d
⚙️Proof Engineering
Finally all put together
reddit.com·6h·
Discuss: r/homelab
🏠Homelab Archaeology
Automated Texture Characterization & Predictive Failure Analysis in Compression Testing via Multi-Modal Neural Networks
dev.to·3d·
Discuss: DEV
🧠Machine Learning
Automated Anomaly Detection in Ghost Imaging via Multi-Modal Data Fusion and Bayesian Inference
dev.to·3d·
Discuss: DEV
💿Optical Forensics
The Beauty of Anisotropic Mesh Refinement: Omnitrees for Efficient Dyadic Discretizations
arxiv.org·5d
💎Information Crystallography
An unusual hardware architecture: APA (Associative Processing Array)
yosefk.com·2d
⚡Homebrew CPUs
Building Virtual Agents with Amazon Nova Sonic S2S
dev.to·2d·
Discuss: DEV
🎙️Whisper
Predictive Routing Optimization via Dynamic Multi-Agent Reinforcement Learning (D-MARL)
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
Top AI Agent Builders You Should Try in 2025
dev.to·1d·
Discuss: DEV
🤖AI Curation
Software Engineering Laws - Time & Estimation
leadership.garden·1d
⚙️Proof Engineering
Loading...Loading more...
AboutBlogChangelogRoadmap