🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔠 Type-Level Programming

Dependent Haskell, GADTs, Type Families, Kind System

Does a railway operator need to know about all the legs of my journey so as to offer me passenger rights?
jonworth.eu·11h
🎫Kerberos Exploitation
Book Review: The Shattering Peace by John Scalzi (Old Man's War Book 7) ★★★⯪☆
shkspr.mobi·9h·
Discuss: shkspr.mobi
🌡️Preservation Physics
Poisoned USA: Hastings, NE
hntrbrk.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Cyborg jellyfish could explore the deep sea to track climate change
techspot.com·9h·
Discuss: r/technews
🧊Arctic Storage
The lost art of curating customers – Anti Scale Manifesto
wizenheimer.dev·2d·
Discuss: Hacker News
🏺ZIP Archaeology
Show HN: Clean for Slack – bulk delete Slack messages directly from the browser
news.ycombinator.com·9h·
Discuss: Hacker News
🗜️Zstandardized Archives
Show HN: Breaking IDE silos with MCP for prompts and dev-tools
news.ycombinator.com·2d·
Discuss: Hacker News
🏠Homelab Pentesting
Time for your next smart home project? Raspberry Pi adds an improved touchscreen, so it's time to get building
techradar.com·2d
🔌Single Board PC
Completed the OCI AI Foundations Associate (2025) Certification – My Key Learnings 🚀
dev.to·1d·
Discuss: DEV
🗺️Competency Maps
ReviseMate: Exploring Contextual Support for Digesting STEM Paper Reviews
arxiv.org·2d
🔬Academic Search
Expertise-aware Multi-LLM Recruitment and Collaboration for Medical Decision-Making
arxiv.org·4d
🗺️Competency Maps
AURA(Automated Utility for Relaxation & Activity)
hackster.io·1d
📟Terminal Physics
The Secret Behind RAG AI Agents and How to Build in n8n
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
flow-run: LLM Orchestration, Prompt Testing & Cost Monitoring
dev.to·5d·
Discuss: DEV
🔄Reproducible Builds
Advanced Microbial Fuel Cell Optimization via Hyperdimensional Data Fusion and Adaptive Enzyme Engineering
dev.to·3d·
Discuss: DEV
⚡Incremental Computation
SEO is dead, RAO just doesn’t know it yet
dev.to·6h·
Discuss: DEV
📡RSS Automation
Leveraging Large Language Models for Predictive Analysis of Human Misery
arxiv.org·5d
🔲Cellular Automata
M3PO: Multimodal-Model-Guided Preference Optimization for Visual Instruction Following
arxiv.org·5d
🧠Learned Codecs
RISE: Enhancing VLM Image Annotation with Self-Supervised Reasoning
arxiv.org·4d
🤖Advanced OCR
Building Castles in the Air, but With Surprise Physics
dbreunig.com·2d
⚙️Proof Engineering
Loading...Loading more...
AboutBlogChangelogRoadmap