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

DE23-Lite Development Kit with Agilex 3 FPGA Targets Education and Prototyping
linuxgizmos.com·9h·
Discuss: Hacker News
⚡Homebrew CPUs
Modern vehicle cybersecurity trends
securelist.com·1h
🔌Operating system internals
We Needed Better Cloud Storage for Python So We Built Obstore
developmentseed.org·4d·
Discuss: Lobsters, Hacker News
🔄Sync Engine
New AI tool tracks early signs of hurricane formation
phys.org·15h
📊Learned Metrics
The classical key to the AI revolution
engelsbergideas.com·9h·
Discuss: Hacker News
🔲Cellular Automata
Let's Talk About AI Workflows
rkayg.com·3d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Show HN: Stateful LLM inference (no cost for input tokens, not prompt-caching)
news.ycombinator.com·3d·
Discuss: Hacker News
💻Local LLMs
Generalized quantum Chernoff bound
arxiv.org·3d
⚛️Quantum Channels
Diving Deep: K-Fold Cross-Validation
dev.to·3d·
Discuss: DEV
🗂️Vector Search
Euclidean Approach to Green-Wave Theory Applied to Traffic Signal Networks
arxiv.org·3d
📡Network Calculus
Regis Resources Limited (RGRNF) FY 2025 Earnings Call Transcript
seekingalpha.com·7h
📋PREMIS Events
NANC: Political Alpha Hypothesis Meets Structural Flaws
seekingalpha.com·2d
🔍BitFunnel
U.S. CISA adds Apple iOS, iPadOS, and macOS flaw to its Known Exploited Vulnerabilities catalog
securityaffairs.com·3h
🛡Cybersecurity
Enhanced Time Series Anomaly Detection via Higher-Order Spectral Clustering and Dynamic Thresholding
dev.to·2d·
Discuss: DEV
📈Time Series
Structural basis for the dynamic regulation of mTORC1 by amino acids
nature.com·1d
🧬Copy Number Variants
Neuro-inspired Ensemble-to-Ensemble Communication Primitives for Sparse and Efficient ANNs
arxiv.org·1d
🧠Neural Codecs
Accessing GPT-5 via CometAPI: a practical up-to-step guide for developers
dev.to·3d·
Discuss: DEV
⚡gRPC
Ultrafast X-ray laser tracks the motion of a single electron during a chemical reaction
phys.org·20h
🌈Spectroscopy
GPU Costs Melting Your Budget
dev.to·4d·
Discuss: DEV
🌊Streaming Algorithms
Automated Knowledge Graph Augmentation via Dynamic Semantic Embedding Refinement
dev.to·4d·
Discuss: DEV
🔗Constraint Handling
Loading...Loading more...
AboutBlogChangelogRoadmap