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

55 Months, 1 Day
satisfice.com·4d
⚙️Proof Engineering
Creative ways to fund open source projects
blog.pragmaticengineer.com·3d
🔓Open Source Software
Thoughts on creating a tracking pointer class, part 9: Conversion
devblogs.microsoft.com·3d
🎯Gradual Typing
AWS Deep Dives – SES (Simple Email Service)
blog.localstack.cloud·1h·
Discuss: Hacker News
🔄Sync Engine
HoundDog.ai Code Scanner Shifts Data Privacy Responsibility Left
devops.com·3d
📏Code Metrics
What Go Devs Are Doing About Observability in 2025
quesma.com·3d·
Discuss: Hacker News
👁️System Observability
Why the Internet Is "Dangerous" (1995)
spectacle.org·3h·
Discuss: Hacker News
🧲Magnetic Philosophy
AI Browsers Are Rewriting This New Age of the Internet: Here's How
hackernoon.com·5h
🔗Hypermedia APIs
Amazon is betting on agents to win the AI race
theverge.com·3d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Practical Lessons Learned Using Claude Code to Automate Integrations
petercto.substack.com·4d·
Discuss: Substack
🤖Network Automation
Picking an Old Operating System
hackaday.com·21h
💾vintage computing
Sovereign, Self Healing AI
github.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Curator: Scalable data pre processing and curation toolkit for LLMs
github.com·3d·
Discuss: Hacker News
🔄Archival Workflows
Show HN: Pluely v0.1.1 – OSS Cluely alternative with custom/local LLM support
github.com·4d·
Discuss: Hacker News
🌀Brotli Internals
Internet Access Providers Aren't Bound by DMCA Unmasking Subpoenas–In Re Cox
blog.ericgoldman.org·1h·
Discuss: Hacker News
🏴‍☠️Piracy
Deep Learning for School Dropout Detection: A Comparison of Tabular and Graph-Based Models for Predicting At-Risk Students
arxiv.org·3d
🧠Machine Learning
Why AI Agent Evaluation Is Suddenly Everyone’s Priority
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Medium and the Blanket AI Ban 😶
dev.to·11h·
Discuss: DEV
🎙️Whisper
M5Cardputer Morse Code Suite
hackster.io·3d
🧪Cassette Hacks
Adaptive Autonomous Agent Calibration Via Dynamic Bayesian Meta-Learning
dev.to·4d·
Discuss: DEV
📊Quantization
Loading...Loading more...
AboutBlogChangelogRoadmap