🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ“ž Session Types

Protocol Safety, Communication Correctness, Type-driven Development, Concurrency

Osprey x Carryology Archeon β€˜FΕ«jin’ | Exclusive Release
carryology.comΒ·5h
πŸ“¦METS Packaging
Office on HP-UX and Unix
openpa.netΒ·2dΒ·
Discuss: Hacker News
πŸ“ŸTerminal Typography
How Does GPT-5 Work?
wheresyoured.atΒ·3d
πŸ–₯️Terminal Renaissance
HTTP/2 implementations are vulnerable to "MadeYouReset" DoS attack
kb.cert.orgΒ·5dΒ·
Discuss: Hacker News
πŸ›‘οΈCBOR Security
Fragmented ecosystems and limited supply: Why China cannot break free from Nvidia hardware for AI
tomshardware.comΒ·1d
πŸ‡¨πŸ‡³Chinese Computing
Microsoft's Nuance coughs up $8.5M to rid itself of MOVEit breach suit
theregister.comΒ·21h
🎯NTLM Attacks
Live experiment: can ChatGPT generate alpha trading micro‑caps with just $100?
github.comΒ·15hΒ·
Discuss: Hacker News
πŸ”„Sync Engine
Every question you ask, every comment you make, I'll be recording you
theregister.comΒ·1dΒ·
Discuss: Hacker News
πŸ€–AI Curation
Tabularis Formatus: Predictive Formatting for Tables
arxiv.orgΒ·1d
πŸ“‹Document Grammar
I tested the TP-Link EAP725-Wall and found the access point perfect for office deployments, but only up to a point
techradar.comΒ·2d
πŸ“ŠHomelab Monitoring
Hardening Systemd Services
us.jlcarveth.devΒ·2dΒ·
Discuss: Hacker News
πŸ”Systems Hardening
GhostObjects: Instructing Robots by Manipulating Spatially Aligned Virtual Twins in Augmented Reality
arxiv.orgΒ·1d
🏺Computational Archaeology
Forget Perimeters: Here’s How Context Is Redefining Cloud Security
hackernoon.comΒ·4d
πŸ–₯️Self-hosted Infrastructure
Segmenting Thalamic Nuclei: T1 Maps Provide a Reliable and Efficient Solution
arxiv.orgΒ·9h
πŸ”Vector Forensics
Title: Meta's Approach to Superintelligence: Keeping Control with AI Models
dev.toΒ·2dΒ·
Discuss: DEV
πŸ€–AI Curation
Ready to Scale with AI? 5 Signs Your Business Can Handle It
dev.toΒ·21hΒ·
Discuss: DEV
🌊Stream Processing
Efficient Neural Network Pruning via Adaptive Spectral Density Shaping
dev.toΒ·2dΒ·
Discuss: DEV
πŸ“ŠQuantization
Securely launch and scale your agents and tools on Amazon Bedrock AgentCore Runtime
aws.amazon.comΒ·5d
🌊Streaming Systems
Reinforcing Video Reasoning Segmentation to Think Before It Segments
arxiv.orgΒ·1d
🧠Learned Codecs
Real-Time eBPF Intrusion Detection via Dynamic Kernel Graph Pruning & Anomaly Scoring
dev.toΒ·5dΒ·
Discuss: DEV
πŸ”eBPF
Loading...Loading more...
AboutBlogChangelogRoadmap