๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ‘‘ Dependent Haskell

Singletons, Type-level Programming, GADTs, Kind Polymorphism

RF Analyzer V2.0 Released: RTL-SDR Compatible Android App
rtl-sdr.comยท2h
๐ŸŽ›๏ธCassette DSP
55 Months, 1 Day
satisfice.comยท2d
โš™๏ธProof Engineering
A Family Project (2022)
bittersoutherner.comยท10hยท
Discuss: Hacker News
๐Ÿ—„๏ธType-safe Archives
Bloom patterns: radially expansive, developable and flat-foldable origami
royalsocietypublishing.orgยท1dยท
Discuss: Hacker News, r/programming
๐Ÿ“Mathematical Art
Predictive Analytics in Healthcare: Improving Patient Outcomes
kdnuggets.comยท12h
๐ŸŒŠStream Processing
How to load test PostgreSQL database and not miss anything
habr.comยท20hยท
Discuss: Hacker News
๐Ÿ—„๏ธPostgreSQL WAL
GPT-5 and SQL code generation
beekeeperstudio.ioยท1dยท
Discuss: Hacker News
โš™๏ธBatch Processing
A brief consideration of input shapes (fuzzing)
addisoncrump.infoยท5dยท
Discuss: Lobsters, Hacker News
๐ŸงชBinary Fuzzing
Set up a Playwright Browser Server in AWS EC2
blog.devops.devยท12h
๐Ÿ”„Sync Engine
Probability Distributions Explained for Data Science Beginners
dev.toยท22hยท
Discuss: DEV
๐ŸงชData science
Making the Case for One Language Tree Across Monorepos
hackernoon.comยท1d
๐Ÿ”„Migration Tools
Using large-scale search to discover fast GPU kernels in Rust
reddit.comยท2dยท
Discuss: r/rust
๐Ÿฆ€Rust Macros
The Growing Need for Tools in 2025
dev.toยท1dยท
Discuss: DEV
๐Ÿง Knowledge Management
Multi-perspective monitoring of wildlife and human activities from camera traps and drones with deep learning models
arxiv.orgยท1d
๐Ÿค–Advanced OCR
Real-Time Anomaly Detection in Time-Series Model Metrics via Federated Gaussian Process Regression
dev.toยท4dยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems
Help Your Model Learn the True Signal
towardsdatascience.comยท3d
๐Ÿ”Vector Forensics
AI Fiesta Exposed: Scam or Smart Budget Alternative to Abacus.AI?
dev.toยท22hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
TASER: Table Agents for Schema-guided Extraction and Recommendation
arxiv.orgยท3d
๐Ÿ”Information Retrieval
Disentangling the Drivers of LLM Social Conformity: An Uncertainty-Moderated Dual-Process Mechanism
arxiv.orgยท1d
๐Ÿง Intelligence Compression
Entropy-Constrained Strategy Optimization in Urban Floods: A Multi-Agent Framework with LLM and Knowledge Graph Integration
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap