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

Many Ways Up the Mountain: The Scrappy, Creative World of Open Source
exposingtheinvisible.org·5h
🔓Hacking
The Manhattan Well: How Aaron Burr and Alexander Hamilton United to Solve a Murder Mystery
atlasobscura.com·23h
🧬PostgreSQL Forensics
The Bitter Lesson
finbarr.ca·1d·
Discuss: Hacker News
🔲Cellular Automata
Using Generative AI to Strengthen & Accelerate Learning • Barbara Oakley • GOTO 2024
youtube.com·1d
🔲Cellular Automata
Self-Improving CLI Agents in 5 minutes
colinharman.substack.com·1d·
Discuss: Substack
⚡Proof Automation
Project Vend: Can Claude run a small shop? (And why does that matter?)
anthropic.com·23h·
Discuss: Hacker News
🚀Indie Hacking
Show HN: Neural network digit recognition on a Game Boy
github.com·1h·
Discuss: Hacker News
🎮GameBoy Architecture
Coding Agents 101: Some tips for using agents productively
devin.ai·21h·
Discuss: Hacker News
⚡Proof Automation
How Do You Handle Orphaned Processes?
reddit.com·2d·
Discuss: r/golang
🎯Gradual Typing
Off-Policy Evaluation and Learning for the Future under Non-Stationarity
arxiv.org·2d
🧠Machine Learning
SPD-CFL: Stepwise Parameter Dropout for Efficient Continual Federated Learning
arxiv.org·4d
📊Learned Metrics
CovDocker: Benchmarking Covalent Drug Design with Tasks, Datasets, and Solutions
arxiv.org·1d
🔍BitFunnel
🚀 JavaScript ES6 Features You Should Know in 2025
dev.to·6h·
Discuss: DEV
🔗Concatenative Programming
A Principled Approach to Randomized Selection under Uncertainty
arxiv.org·3d
🌸Bloom Variants
Memory Safety in Web Rust System Zero Cost Secure(1750570224424500)
dev.to·6d·
Discuss: DEV
🦀Rust Borrowing
Async Programming in Rust Using Tokio: A Practical Guide
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Python Fundamentals: asyncio
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Heartbeat of Modern Web Real Time Patterns User Design(1751006826448300)
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Edge Association Strategies for Synthetic Data Empowered Hierarchical Federated Learning with Non-IID Data
arxiv.org·4d
🧠Machine Learning
HarmonyOS Development: Customize a Contact Template
dev.to·13h·
Discuss: DEV
🖋Typography
Loading...Loading more...
AboutBlogChangelogRoadmap