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

Verification, Type-level Programming, Safety Proofs, Linear Types

You Can Now Control How Long GPT-5 Will ‘Think’
lifehacker.com·1d
🖥️Terminal Renaissance
A directed two-mode network approach to desirability on a mobile dating app
journals.plos.org·3d·
Discuss: Hacker News
🎯Recommendation Metrics
An Accurate and Rapidly Calibrating Speech Neuroprosthesis
nejm.org·1h·
Discuss: Hacker News
🎛️Cassette DSP
How to communicate with intent
jyn.dev·2d·
Discuss: Lobsters
🔄Session Type Inference
Predicted 'neglectons' hold promise for robust, universal quantum computing
physicsworld.com·3h·
Discuss: Hacker News
🕸️Tensor Networks
Top custom JavaScript functions of all time (2005)
web.archive.org·2d·
Discuss: Hacker News
🔗Concatenative Programming
What to watch: Another bloody good horror film has invaded theaters
mercurynews.com·5h
📦Digital Cinema Package
Intel releases new software for GPU-powered Project Battlematrix workstations — Arc Pro B-series GPUs get LLM Scaler 1.0 software to optimize performance in AI ...
tomshardware.com·1d
🖥️Modern CPU
Ask HN: Are foreign key constraints still useful?
news.ycombinator.com·2d·
Discuss: Hacker News
🗄️Database Internals
The Breach You Didn’t See Coming: How Invisible Combinations of Risk Are Exposing Your Organization
tenable.com·2d
🔓Hacking
Nyctal: Zero dependency Golang Wayland compositor
github.com·3d·
Discuss: Hacker News
🔓Open Source Software
Hypothesis Testing in Sports Medicine: Diagnosing ACL Injuries in Pro Footballers
dev.to·3d·
Discuss: DEV
⚡Proof Automation
How Automation is Transforming Token Campaigns in 2025
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Stationarity Exploration for Multivariate Time Series Forecasting
arxiv.org·1d
📈Time Series
LEAVES: Learning Views for Time-Series Biobehavioral Data in Contrastive Learning
arxiv.org·19h
📊Learned Metrics
Harmonic balance-automatic differentiation method: an out-of-the-box and efficient solver for general nonlinear dynamics simulation
arxiv.org·2d
📐Interval Arithmetic
Understanding the security landscape of MCP
dev.to·2d·
Discuss: DEV
🌳Archive Merkle Trees
Golang API Structure for Beginners
dev.to·3d·
Discuss: DEV
⚡gRPC
Quantifying Inter-Patient Variability in PBPK Model Parameter Estimation via Bayesian Optimization
dev.to·1d·
Discuss: DEV
📈Entropy Estimation
Microsoft's latest major patch fixes a serious zero-day flaw, and a host of other issues - so update now
techradar.com·1d
🔓Hacking
Loading...Loading more...
AboutBlogChangelogRoadmap