๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ›๏ธ Agda

Dependent Types, Proof Assistant, Type-driven Development, Verification

We've discovered a door to a hidden part of reality โ€“ what's inside?
newscientist.comยท7h
โฐTime Crystals
NVIDIA Makes More Hopper & Blackwell Header Files Open-Source
phoronix.comยท7hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธModern Terminals
Enhancing environmental data sharing: Policy brief provides recommendations
phys.orgยท7h
๐Ÿท๏ธMetadata Standards
Solving a Childhood Mystery: How BASIC Games Learned to Win
sublevelgames.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Rethinking MCP or Tool Calling Through Permission Based System
shivasurya.meยท1dยท
Discuss: Hacker News
๐Ÿ”’WASM Capabilities
Assistants Aren't the Future of AI
blog.sshh.ioยท2dยท
Discuss: Hacker News
๐ŸŒCultural Algorithms
The .a File Is a Relic: Why Static Archives Were a Bad Idea All Along
medium.comยท2dยท
Discuss: Hacker News, r/C_Programming
๐Ÿ”—Static Linking
Zamona.net โ€“ How We Built a Super-Fast Platform with 600,000+ Articles Using Laravel Octane
dev.toยท3hยท
Discuss: DEV
๐Ÿ“กRSS Syndication
Water tornado in the laboratory: A simple experiment simulates planet formation
phys.orgยท10h
๐Ÿ“ŸTerminal Physics
Zog golang validation library v0.21.4 release!
reddit.comยท4dยท
Discuss: r/golang
โœ…Format Verification
How to create a digital twin of yourself that joins low-value meetings for you
dev.toยท2hยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Nvidia is powering the UK's fastest superocmputer yet - here's what it can do
techradar.comยท13h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Day 2 of My 180-Day Developer Challenge: Building Git, learning about Docker and Go
dev.toยท1dยท
Discuss: DEV
๐ŸŒณGit Internals
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.comยท5dยท
Discuss: Hacker News
๐Ÿค–Network Automation
Python Fundamentals: celery
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
The Power of HTML - Part 22: The Future of HTML: WebAssembly, AI Integration, and Predictions
dev.toยท1dยท
Discuss: DEV
๐ŸŒWeb Standards
My Claude Code is Getting Gemini 2.5 Pro
dev.toยท19hยท
Discuss: DEV
๐Ÿš€Indie Hacking
The Era Of Ai - Introduction to vibe coding - Chapter 3
dev.toยท1dยท
Discuss: DEV
๐Ÿš€Indie Hacking
Safe Robotic Capsule Cleaning with Integrated Transpupillary and Intraocular Optical Coherence Tomography
arxiv.orgยท19h
๐Ÿ“„Document Digitization
Kyruus builds a generative AI provider matching solution on AWS
aws.amazon.comยท5h
๐ŸŒ€Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap