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

Intuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance

Letters: Bay Area residents should prepare a smoke safety plan
mercurynews.comยท8h
๐Ÿ’ปLocal first
Cybersecurity Snapshot: AI Security Trails AI Usage, Putting Data at Risk, IBM Warns, as OWASP Tackles Agentic AI App Security
tenable.comยท18h
๐Ÿ”“Hacking
Deep research for healthcare revenue cycle
writing.kunle.appยท18hยท
Discuss: Hacker News
๐Ÿ”—Data Provenance
The Rickover Corpus: A digital archive of Admiral Rickover's speeches and memos
rickovercorpus.orgยท6hยท
Discuss: Hacker News
๐Ÿ‡ท๐Ÿ‡บSoviet Computing
Scientific tools are tracing the evolution of ancient biblical manuscripts
phys.orgยท18h
๐Ÿ“Manuscript Metrics
[RFC] Hardening mode for the compiler - Clang Frontend
discourse.llvm.orgยท12hยท
Discuss: Hacker News, r/cpp
๐ŸญCompiler Backends
Survey on Operator Discoverability
reddit.comยท2dยท
Discuss: r/kubernetes
๐Ÿ“ฆContainer Security
Ranking Methods for Skyline Queries
arxiv.orgยท3d
๐Ÿง Query Planners
How to Secure a Linux Server
github.comยท20hยท
Discuss: Hacker News
๐Ÿ›ก๏ธCLI Security
Learning from Heterogeneous Structural MRI via Collaborative Domain Adaptation for Late-Life Depression Assessment
arxiv.orgยท2d
๐ŸŒ€Differential Geometry
Voice-guided Orchestrated Intelligence for Clinical Evaluation (VOICE): A Voice AI Agent System for Prehospital Stroke Assessment
arxiv.orgยท1d
๐Ÿ‘‚Audio Evidence
Explainable artificial intelligence model predicting the risk of all-cause mortality in patients with type 2 diabetes mellitus
arxiv.orgยท1d
๐ŸงฎKolmogorov Bounds
Exploiting Scale-Variant Attention for Segmenting Small Medical Objects
arxiv.orgยท1d
๐Ÿ“ŠCount-Min Sketch
Growing my first Homelab - but could do with some Advice...
i.redd.itยท1dยท
Discuss: r/homelab
๐Ÿ HomeLab
Show HN: Synapse โ€“ Multi-model AI combining LLMs and humans for marketing output
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ“ŠFeed Optimization
Leveling Up My Task Automation API: Models, Routes, and Scheduling
dev.toยท19hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Show HN: Term โ€“ Rust-based data validation with OpenTelemetry
github.comยท2dยท
Discuss: Hacker News
โœ…Archive Validation
3D game created with AI
dev.toยท1dยท
Discuss: DEV
๐Ÿ–ฅ๏ธTerminal Renaissance
Latest Python Certifications: From Fresher to Data Analyst in 2025
dev.toยท16hยท
Discuss: DEV
โš™๏ธProof Engineering
Hyperbolic Embeddings for Order-Aware Classification of Audio Effect Chains
arxiv.orgยท4d
๐ŸŽผAudio Lambda Calculus
Loading...Loading more...
AboutBlogChangelogRoadmap