🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔬 Refinement Types

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

Lamar Jackson, Troy Aikmen Settle Dumb Trademark Dispute Over The Word ‘EIGHT’
techdirt.com·7h
🏺Gaming Archaeology
Service Model (Book) System Design for Task Management
varunmehta.github.io·2d·
Discuss: Hacker News
⚙️TLA+
Rust's Annual Tech Report: Trusted Publishing for Packages and a C++/Rust Interop Strategy
developers.slashdot.org·4d
⚡Dependent Rust
The Replication Engine
ifp.org·3d·
Discuss: Hacker News
⚡Proof Automation
Show HN: Station – SSH-based runtime for operational AI agents with MCP support
news.ycombinator.com·2d·
Discuss: Hacker News
🏠Homelab Orchestration
From Days to Hours—Meet HyperQ, the Quantum Virtual Machines That Could Democratize Q-Computing
dev.to·9h·
Discuss: DEV
⚛️Quantum Archives
Demystifying Fastly’s Defense Against HTTP Desynchronization Attacks
fastly.com·3d
🌐DNS over QUIC
WahResume: AI-Powered Resume Builder for Job Seekers
dev.to·9h·
Discuss: DEV
🎙️Whisper
How Attention made the AI leap possible!
dev.to·20h·
Discuss: DEV
🎧Learned Audio
Pragmatics beyond humans: meaning, communication, and LLMs
arxiv.org·4d
🎭Cultural Informatics
Enhancement of Chitin-Based Wound Dressings via Surface-Modified Microgels for Accelerated Healing
dev.to·1h·
Discuss: DEV
🧪Cassette Chemistry
Building a Neural Network is Easy. The Hard Part is Making It Think
dev.to·3d·
Discuss: DEV
🎧Learned Audio
Mars v1.0.0 — a small language implemented in Go, with Go-like struct literals and clear errors
reddit.com·5d·
Discuss: r/golang
🧠Lisp Dialects
Conversational DNA: A New Visual Language for Understanding Dialogue Structure in Human and AI
arxiv.org·3d
🔲Cellular Automata
Fed-TGAN: Federated Learning Framework for Synthesizing Tabular Data
arxiv.org·3d
🧠Machine Learning
Adaptive Resource Orchestration for Efficient LLM Inference Serving via Federated Reinforcement Learning
dev.to·3d·
Discuss: DEV
💻Local LLMs
Physics-Informed Deep Contrast Source Inversion: A Unified Framework for Inverse Scattering Problems
arxiv.org·6h
🏺Computational Archaeology
Learning Optimal and Fair Policies for Online Allocation of Scarce Societal Resources from Data Collected in Deployment
arxiv.org·2d
⚡Incremental Computation
Samsara: Valuation Compression Helps, But Execution Still Holds The Key
seekingalpha.com·2d
🔍BitFunnel
Enhancing Transparency and Trust Through RWA Tokenization Services
dev.to·2d·
Discuss: DEV
🔗Data Provenance
Loading...Loading more...
AboutBlogChangelogRoadmap