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

Intuitionistic Mathematics, Computable Reals, Bishop Mathematics, Proof Relevance

Osaka overcomes spirited Gibson to reach Wimbledon second round
japantimes.co.jpยท11h
๐Ÿ‘‘Coq Tactics
Video Games Weekly: Summer Game Fest ends when I say so
engadget.comยท13h
๐Ÿ•น๏ธGame Preservation
Using Postgres over Apache Kafka
rudderstack.comยท21hยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
On the way to medical superintelligence: Microsoft presents research
heise.deยท14h
๐ŸŽตAudio ML
Is AI Just Software?
feld.comยท17hยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
I Let an AI Manage My Diabetes โ€” And It Knew Me Better Than I Knew Myself
hackernoon.comยท17h
๐Ÿ’พPersistence Strategies
Hybrid Approach for Electricity Price Forecasting using AlexNet and LSTM
arxiv.orgยท7h
๐Ÿง Machine Learning
Telia Had An Excellent Run - I'm Out
seekingalpha.comยท22h
๐Ÿ“กRSS
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.orgยท5d
๐Ÿ”—Parser Combinators
Exploring the Structure of AI-Induced Language Change in Scientific English
arxiv.orgยท1d
๐Ÿ”คMorphological Analysis
Next Generation High Web Rust Based Solutions๏ผˆ1751261915152500๏ผ‰
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
SQL injection vulnerability in WHERE clause allowing retrieval of hidden data โ€” PortSwigger
infosecwriteups.comยท1d
๐Ÿ—ƒ๏ธDatabase Forensics
Android Made Accessible: Kotlin Code Generation from Natural Language
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Heartbeat of Modern Web Real Time Patterns User Design๏ผˆ1751284881153000๏ผ‰
dev.toยท23hยท
Discuss: DEV
๐ŸŒŠStream Processing
Self-Healing APIs with MCP: No more SDKs
dev.toยท19hยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Auto-TA: Towards Scalable Automated Thematic Analysis (TA) via Multi-Agent Large Language Models with Reinforcement Learning
arxiv.orgยท7h
๐Ÿค–Grammar Induction
Robust Tensor Completion via Gradient Tensor Nulclear L1-L2 Norm for Traffic Data Recovery
arxiv.orgยท7h
๐Ÿง Machine Learning
Bridging the Gap with Retrieval-Augmented Generation: Making Prosthetic Device User Manuals Available in Marginalised Languages
arxiv.orgยท7h
๐Ÿ“ABNF Parsing
CA-Diff: Collaborative Anatomy Diffusion for Brain Tissue Segmentation
arxiv.orgยท7h
๐ŸŒ€Riemannian Computing
Would love some feedback on a library Iโ€™m writing!
reddit.comยท1dยท
Discuss: r/golang
๐Ÿ“ฆContainer Security
Loading...Loading more...
AboutBlogChangelogRoadmap