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

Session Types, Communication Safety, Distributed Systems, Type-driven Development

Microsoft is getting ready for GPT-5 with a new Copilot smart mode
theverge.comยท17h
๐Ÿ–ฅ๏ธModern Terminals
The Attack Is Coming, Are We Actually Prepared?
optiv.comยท1d
๐ŸŽฏThreat Hunting
The wonderfully lazy way to SSH into your computers
tailscale.comยท11hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธModern Terminals
Show HN: AI code reviewer with Python agent called from Rust, streaming works
medium.comยท2dยท
Discuss: Hacker News
๐Ÿฆ€Rust Borrowing
RFI: Neuroscience and the Path to Safe AGI
blog.amaranth.foundationยท13hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Planet Labs' Hyperspectral Imagery
tech.marksblogg.comยท16hยท
Discuss: Hacker News
๐Ÿ•ธ๏ธWebP Analysis
Monitoring Heroku Applications with OpenTelemetry
dash0.comยท2dยท
Discuss: Hacker News
๐Ÿ“ฆContainer Security
What is the preferred way to deploy a web app in Go?
reddit.comยท1dยท
Discuss: r/golang
๐Ÿ•ธ๏ธWebAssembly
Offline Is No Escape: The Last Stand Against Rogue AI
hackernoon.comยท1d
๐Ÿ”“Hacking
Exploring the Future of AI in Partner Lifecycles
dev.toยท3hยท
Discuss: DEV
๐Ÿ“ŠFeed Optimization
Trying to find out how viable this is.
reddit.comยท14hยท
Discuss: r/homelab
๐Ÿ HomeLab
Zero-shot Performance of Generative AI in Brazilian Portuguese Medical Exam
arxiv.orgยท2d
โš™๏ธCompression Benchmarking
Machine Learning Fundamentals: k-nearest neighbors example
dev.toยท1dยท
Discuss: DEV
๐Ÿ—‚๏ธVector Databases
Incentivised Orchestrated Training Architecture (IOTA): A Technical Primer for Release
arxiv.orgยท6d
๐ŸŒŠStreaming Systems
PEMUTA: Pedagogically-Enriched Multi-Granular Undergraduate Thesis Assessment
arxiv.orgยท2d
๐Ÿ›Digital humanities
The Dev Team's Guide to Sprint Planning Without the Agile Jargon
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Code Metrics
TriangleMix: A Lossless and Efficient Attention Pattern for Long Context Prefilling
arxiv.orgยท1d
๐Ÿ”จCompilers
Provable In-Context Learning of Nonlinear Regression with Transformers
arxiv.orgยท2d
๐Ÿง Machine Learning
ChartMark: A Structured Grammar for Chart Annotation
arxiv.orgยท1d
๐Ÿ”ขDenotational Semantics
Mistral-Small-3.2-24B-Instruct-2506 is now available on Amazon Bedrock Marketplace and Amazon SageMaker JumpStart
aws.amazon.comยท1d
๐ŸŒ€Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap