🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

Jeffrey and the Jarne Blade!!
plover.stenoknight.com·10h·
Discuss: www.blogger.com
⌨️Mechanical Keyboards
Put Names and Dates On Documents
infrequently.org·1d
📄PostScript
Follow Up on Notes
kevquirk.com·18h
🌱Personal Wikis
Why Metropolis–Hastings Works
gregorygundersen.com·2d·
Discuss: Lobsters, Hacker News
🧮Kolmogorov Bounds
.NET 10 preview out now, likely to be near feature-complete
theregister.com·2h
🌐Web Standards
Why do we even need SIMD instructions ?
lemire.me·4d·
Discuss: Lobsters, Hacker News, r/programming
🚀SIMD Text Processing
Claude can now process entire software projects in single request, Anthropic says
venturebeat.com·1d·
Discuss: Hacker News
⚙️Batch Processing
Move over, DevSecOps: DevEx is the new darling
reversinglabs.com·2d
⚙️Proof Engineering
Need Advice For Home Server
reddit.com·10h·
Discuss: r/homelab
🏠HomeLab
Fed-TGAN: Federated Learning Framework for Synthesizing Tabular Data
arxiv.org·2d
🧠Machine Learning
Efficient Edge LLMs Deployment via HessianAware Quantization and CPU GPU Collaborative
arxiv.org·2d
💻Local LLMs
From Prediction to Explanation: Multimodal, Explainable, and Interactive Deepfake Detection Framework for Non-Expert Users
arxiv.org·2d
📊Learned Metrics
Audio-Thinker: Guiding Audio Language Model When and How to Think via Reinforcement Learning
arxiv.org·2d
🎵Audio ML
Selective Contrastive Learning for Weakly Supervised Affordance Grounding
arxiv.org·2d
📊Learned Metrics
Dynamic Thermal Management & Predictive Failure Analysis of GTO Thyristors via Hybrid Bayesian Optimization
dev.to·2d·
Discuss: DEV
⚡Circuit Design
A Risk Taxonomy and Reflection Tool for Large Language Model Adoption in Public Health
arxiv.org·1d
✨Effect Handlers
Automated Defect Classification in Wafer Fabrication via Multi-Modal Data Fusion and Graph Neural Networks
dev.to·1d·
Discuss: DEV
📄Document Digitization
COMPEER: Controllable Empathetic Reinforcement Reasoning for Emotional Support Conversation
arxiv.org·8h
⏱️Interval Parsing
Is AI Replacing Developers? The Role of Code Generators in 2025
dev.to·4h·
Discuss: DEV
📏Code Metrics
Why We Aren't Building Another Workflow Tool: Our First-Principles Approach
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap