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

Type-level Programming, Proof-carrying Code, Agda, Type Safety

“I guess my question is how bad must it be before retraction becomes appropriate?”
statmodeling.stat.columbia.edu·8h
⚖️Lossy Compression Ethics
OpenBSD vs Linux: Benchmark Reveals 10x Performance Gap in Specific Workloads
discoverbsd.com·2d
🐡OpenBSD
Thoughts on the Future of LLM Interactivity
bittere.notion.site·6h·
Discuss: Hacker News
🏛Digital humanities
We raised $7.3M to build an open-source stack for industrial-grade LLM apps
tensorzero.com·1d·
Discuss: Hacker News
⚡SMT Integration
Writing Your First GPU Kernel in Python with Numba and CUDA
kdnuggets.com·2d
⚡SIMD Vectorization
ECUre: The AI-Powered Guardian Securing Your Car's Electronic Control Units from Malware
hackernoon.com·1d
🦀Embedded Rust
Nominal Evaluation Of Automatic Multi-Sections Control Potential In Comparison To A Simpler One- Or Two-Sections Alternative With Predictive Spray Switching
arxiv.org·2d
✨Effect Handlers
Simple Python Password Game for Beginners
dev.to·2d·
Discuss: DEV
🎯Proof Tactics
How To Tame Alert Fatigue With Time Series Databases
thenewstack.io·2d
📈Time Series
R0AR Announces Node Sale: Democratizing Layer 2 Infrastructure And Rewarding Community Participation
hackernoon.com·1d
🏠Homelab Federation
Show HN: After 3 years, we've shipped Sveltos v1.0.0
github.com·2d·
Discuss: Hacker News
❄️Nix Flakes
The Hidden Commands Inside AI Bureaucracy
dev.to·2d·
Discuss: DEV
✨Algebraic Effects
The Role of AI in Facilitating Interdisciplinary Collaboration: Evidence from AlphaFold
arxiv.org·17h
🕸️Algebraic Topology
Targeting G1–S-checkpoint-compromised cancers with cyclin A/B RxL inhibitors
nature.com·5h
🧬Copy Number Variants
The Hidden Cost of "Free" AI: The Question Nobody's Asking
dev.to·14h·
Discuss: DEV
🤖AI Curation
Autonomous Fleet Routing Optimization via Multi-Constraint Bayesian Optimization and Digital Twin Simulation
dev.to·4d·
Discuss: DEV
⚡Z3 Optimization
Learning with Confidence
arxiv.org·2d
🧠Machine Learning
Mathematical Computation and Reasoning Errors by Large Language Models
arxiv.org·6d·
Discuss: Hacker News
👑Isabelle
Visual Perception Engine: Fast and Flexible Multi-Head Inference for Robotic Vision Tasks
arxiv.org·2d
📐Projective Geometry
MoNaCo: More Natural and Complex Questions for Reasoning Across Dozens of Documents
arxiv.org·2d
🔍Information Retrieval
Loading...Loading more...
AboutBlogChangelogRoadmap