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

Podcast: Should We Revamp Our Voting System?
undark.org·1d
🏗️Constructive Mathematics
After Flight
nybooks.com·1d
🎯Gradual Typing
The Top 10 Things I’d Like to See in University OT Cybersecurity Curriculum (2025 Edition)
tisiphone.net·13h
🌐Network Security
How We Built Our lakeFS Iceberg Catalog
lakefs.io·4d·
Discuss: Hacker News
📦METS Containers
Microsoft will add Anthropic’s Claude models to Office 365 apps alongside its OpenAI-powered features
the-decoder.com·1d
🎙️Whisper
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·6d·
Discuss: Hacker News
🔍Concolic Testing
Morty’s New Tool : Android Application Based CTF Challenge Walkthrough
infosecwriteups.com·2d
🎮Game Decompilation
Memetic Conquest
medium.com·1d·
Discuss: Hacker News
⚖️Emulation Ethics
Ask HN: How do you manage docs for AI coding agents without bloating repos?
news.ycombinator.com·2d·
Discuss: Hacker News
🤖Archive Automation
Funding, growth, and the next frontier of AI coding agents
cognition.ai·2d·
Discuss: Hacker News
🌀Brotli Internals
Extending the existing theory on host–microbiome evolution
phys.org·2d
🦴Database Paleontology
Four Poems
nplusonemag.com·1d
🧲Magnetic Philosophy
Inside a virtual ocean platform that could help with marine protection
phys.org·21h
🏗️OAIS Model
Microsoft rolls out new Copilot Audio mode powered by its MAI-Voice-1 model
the-decoder.com·23h
🎙️Whisper
MCANet: A Multi-Scale Class-Specific Attention Network for Multi-Label Post-Hurricane Damage Assessment using UAV Imagery
arxiv.org·3d
📊Learned Metrics
Automatic segmentation of Organs at Risk in Head and Neck cancer patients from CT and MRI scans
arxiv.org·3d
🧠Machine Learning
Computational Cognitive Modeling to understand the effects of Racializing AI on Human-AI cooperation with PigChase Task
arxiv.org·3d
🔲Cellular Automata
Days 21-22: Service Topology Visualization & Dynamic UI Generation Complete
dev.to·6d·
Discuss: DEV
👁️System Observability
'Questing Quokka' enters UI freeze as Ubuntu 25.10 nears release
theregister.com·10h
🐧FOSS
Leveraging Perplexity AI for Transformative Marketing: A Guide to Efficiency and Impact
dev.to·20h·
Discuss: DEV
📊Feed Optimization
Loading...Loading more...
AboutBlogChangelogRoadmap