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

Bridging My Wikimania Knowledge: From 2024 to 2025
diff.wikimedia.org·1d
📇Dublin Core
How to store weather forecast data for fast time-series APIs
openmeteo.substack.com·2d·
Discuss: Substack
📈Time Series
This Week in Plasma: KDE Initial System Setup
blogs.kde.org·2d·
Discuss: r/linux
🔌Operating system internals
AI Is at the PageRank Moment
twkrr.com·2d·
Discuss: Hacker News
🤖AI Curation
When doing too much is a symptom, not a solution
kevinavignon.com·3h·
Discuss: Hacker News
❄️Nix Flakes
mimidns: an authoritative dns server in Go.
reddit.com·2d·
Discuss: r/golang
🌐DNS Security
My One-Month Journey with the Cursor Editor: An Honest Review
dev.to·2d·
Discuss: DEV
🔄Language Evolution
America's Twin Deficit Trap
seekingalpha.com·15h
💰Archive Economics
Diving Deep: Understanding the Mechanics
dev.to·4d·
Discuss: DEV
📏Range Queries
PB-IAD: Utilizing multimodal foundation models for semantic industrial anomaly detection in dynamic manufacturing environments
arxiv.org·4d
🤖Advanced OCR
Will AI Replace Code Reviews?
dev.to·8h·
Discuss: DEV
📏Code Metrics
Scientists Discover a Cheaper, More Powerful Catalyst for Clean Hydrogen Energy
scitechdaily.com·2d
🌈Spectroscopy
LLM4Sweat: A Trustworthy Large Language Model for Hyperhidrosis Support
arxiv.org·3d
🎙️Whisper
I built an open-source reverse proxy with WAF features (NetGoat)
github.com·1d·
Discuss: Hacker News
⚡gRPC
Beyond Imaging: Vision Transformer Digital Twin Surrogates for 3D+T Biological Tissue Dynamics
arxiv.org·11h
🧠Machine Learning
Windsurf: Memory-Persistent Data Exfiltration (SpAIware Exploit)
embracethered.com·2d
🧠Memory Forensics
Inference Time Debiasing Concepts in Diffusion Models
arxiv.org·3d
🧠Machine Learning
Artificial Intelligence-Based Multiscale Temporal Modeling for Anomaly Detection in Cloud Services
arxiv.org·4d
🧠Machine Learning
Python’s Continued Supremacy "From Python to Rust: What’s Hot in 2025 Programming"
dev.to·3d·
Discuss: DEV
💻Programming languages
Exploiting API4 — 8 Real-World Unrestricted Resource Consumption Attack Scenarios (and How to Stop Them)
lab.wallarm.com·3d
⚡gRPC
Loading...Loading more...
AboutBlogChangelogRoadmap