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

Type-level Programming, Proof-carrying Code, Agda, Type Safety

How we built the worlds fastest VIN decoder
cardog.appΒ·10hΒ·
Discuss: Hacker News, r/programming
πŸ—„οΈDatabase Internals
Show HN: Limitly – the easiest way to secure and manage your API keys
limitly.devΒ·1dΒ·
Discuss: DEV, Hacker News, r/node
⚑gRPC
Skip Ahead in Loops With Python's Continue Keyword
realpython.comΒ·1d
🌳Incremental Parsing
CNL: From Idea to Implementation - How to Self-Host an AI Agent
youtube.comΒ·16h
🏠Homelab Automation
Onboarding for Coding Agents
fuzzycomputer.comΒ·3dΒ·
Discuss: Hacker News
✨Effect Handlers
The Art of Multiprocessor Programming 2nd Edition Book Club
eatonphil.comΒ·3dΒ·
Discuss: Hacker News
⚑Cache Theory
Optimal control driven functional electrical stimulation: A scoping review
arxiv.orgΒ·2h
⚑Effectful Programming
Understanding the Spiral Methodology in Software Engineering
dev.toΒ·16hΒ·
Discuss: DEV
🧩WASM Components
Estimating Reliability of Electric Vehicle Charging Ecosystem using the Principle of Maximum Entropy
arxiv.orgΒ·1d
πŸ“ˆEntropy Estimation
Prompting Science Report 3: I'll pay you or I'll kill you -- but will you care?
arxiv.orgΒ·2d
⚑Proof Automation
Experimental Evaluation of Post-Quantum Homomorphic Encryption for Privacy-Preserving V2X Communication
arxiv.orgΒ·1d
πŸ”Homomorphic Encryption
Generative AI-Driven Decision-Making for Disease Control and Pandemic Preparedness Model 4.0 in Rural Communities of Bangladesh: Management Informatics Approach
arxiv.orgΒ·1d
🌍Cultural Algorithms
The Developer Workflow I Wish I Had 1,000 Commits Ago
dev.toΒ·1dΒ·
Discuss: DEV
πŸ¦€Rust Macros
MCP in Data Science: Streamlining AI Workflows
dev.toΒ·7hΒ·
Discuss: DEV
πŸ€–Archive Automation
Learning to Perform Low-Contact Autonomous Nasotracheal Intubation by Recurrent Action-Confidence Chunking with Transformer
arxiv.orgΒ·1d
βœ‹Tactile Computing
Classifying Epistemic Relationships in Human-AI Interaction: An Exploratory Approach
arxiv.orgΒ·2h
πŸ•ΈοΈKnowledge Graphs
On This Day in Math - August 4
pballew.blogspot.comΒ·2dΒ·
Discuss: www.blogger.com
πŸ“œManuscript Algebras
Java vs Python via the lens of an interview problem
dev.toΒ·2dΒ·
Discuss: DEV
πŸ§ͺBinary Fuzzing
Minimal Convolutional RNNs Accelerate Spatiotemporal Learning
arxiv.orgΒ·2h
πŸ’»Local LLMs
🐍 How I Built a Terminal Knowledge Crawler in Pure Python (No Frameworks)
dev.toΒ·1dΒ·
Discuss: DEV
πŸŒ€Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap