๐Ÿฟ๏ธ 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

55 Months, 1 Day
satisfice.comยท2d
โš™๏ธProof Engineering
A Family Project (2022)
bittersoutherner.comยท3hยท
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ยท5h
๐ŸŒŠStream Processing
How to load test PostgreSQL database and not miss anything
habr.comยท13hยท
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
Personal AI Workstation with Four Nvidia RTX 6000 Pro Blackwell Max-Q GPUs
a16z.comยท1hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธModern Terminals
Set up a Playwright Browser Server in AWS EC2
blog.devops.devยท5h
๐Ÿ”„Sync Engine
Making the Case for One Language Tree Across Monorepos
hackernoon.comยท1d
๐Ÿ”„Migration Tools
The Growing Need for Tools in 2025
dev.toยท1dยท
Discuss: DEV
๐Ÿง Knowledge Management
Taming GORM & sqlmock: Our Go-To Workflow for Perfect Database Mocks
dev.toยท7hยท
Discuss: DEV
โ›๏ธSQL Archaeology
Real-Time Anomaly Detection in Time-Series Model Metrics via Federated Gaussian Process Regression
dev.toยท3dยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems
Help Your Model Learn the True Signal
towardsdatascience.comยท2d
๐Ÿ”Vector Forensics
Why I Built an "Awesome List" for Data Analysis (And How It Can Help You)
dev.toยท2dยท
Discuss: DEV
๐ŸŒWARC Mining
Multi-perspective monitoring of wildlife and human activities from camera traps and drones with deep learning models
arxiv.orgยท17h
๐Ÿค–Advanced OCR
Large-Scale Multi-Robot Assembly Planning for Autonomous Manufacturing
arxiv.orgยท4d
๐Ÿ“ŠComputational Geometry
AI Fiesta Exposed: Scam or Smart Budget Alternative to Abacus.AI?
dev.toยท15hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
TASER: Table Agents for Schema-guided Extraction and Recommendation
arxiv.orgยท2d
๐Ÿ”Information Retrieval
Go Coding with Asparagos: Sunflowers and the Speaking Challenge
dev.toยท3dยท
Discuss: DEV
๐Ÿ”—Concatenative Languages
Loading...Loading more...
AboutBlogChangelogRoadmap