🐿️ 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·9h
🔓Hacking
The Manhattan Well: How Aaron Burr and Alexander Hamilton United to Solve a Murder Mystery
atlasobscura.com·1d
🧬PostgreSQL Forensics
Show HN: Reimplementation of Lazy Tetris (Python)
github.com·6h·
Discuss: Hacker News
📼Retro Games
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
Show HN: Neural network digit recognition on a Game Boy
github.com·4h·
Discuss: Hacker News
🎮GameBoy Architecture
Coding Agents 101: Some tips for using agents productively
devin.ai·1d·
Discuss: Hacker News
⚡Proof Automation
How Do You Handle Orphaned Processes?
reddit.com·2d·
Discuss: r/golang
🎯Gradual Typing
Solve a real-world problem with AI
dev.to·1d·
Discuss: DEV
🧮Z3 Applications
From Manual API Testing to AI-Powered Automation: My Experience with Keploy
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Video Perception Models for 3D Scene Synthesis
arxiv.org·2d
📐Projective Geometry
🧠 DEV Community Support App (DEV MBS) 🤖
dev.to·8h·
Discuss: DEV
🎙️Whisper
Programming as Art - By Developer Prasoon
dev.to·6h·
Discuss: DEV
🔩Systems Programming
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to·6d·
Discuss: DEV
🧬Functional Programming
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
🚀 JavaScript ES6 Features You Should Know in 2025
dev.to·9h·
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
Loading...Loading more...
AboutBlogChangelogRoadmap