🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
➡️ Category Theory

Functors, Monads, Mathematical Structures, Abstract Algebra

How to Run an Arduino for Years on a Battery
makecademy.com·11h·
Discuss: Hacker News
📦Unikernel Systems
How to Avoid Data Access Bottlenecks When Using Trino
starburst.io·2d·
Discuss: Hacker News
👁️System Observability
My Bank Keeps on Undermining Anti-Phishing Education
moritz-mander.de·5h·
Discuss: Hacker News
🎮Verification Games
Where Are All the AI Drugs?
wired.com·7h·
Discuss: Hacker News
🏹Effect Systems
Links? Links!
infrequently.org·1d·
Discuss: Hacker News
👁️System Observability
Context in LLMs and the Blockchain
networked.substack.com·20h·
Discuss: Substack
🖥️Self-hosted Infrastructure
Understanding the Factory Method Pattern in Go: A Practical Guide
reddit.com·3d·
Discuss: r/programming
🧱Immutable Infrastructure
A code quality battle between 6 AI agents
sourcery.ai·2d·
Discuss: Hacker News
👁️System Observability
Deep Hidden Cognition Facilitates Reliable Chain-of-Thought Reasoning
arxiv.org·2d
✓Automated Theorem Proving
Psychology-Driven Enhancement of Humour Translation
arxiv.org·2d
✓Automated Theorem Proving
RefSTAR: Blind Facial Image Restoration with Reference Selection, Transfer, and Reconstruction
arxiv.org·2d
🐫OCaml
Human-Guided Shade Artifact Suppression in CBCT-to-MDCT Translation via Schr\"odinger Bridge with Conditional Diffusion
arxiv.org·1d
🏹Effect Systems
UGC-VideoCaptioner: An Omni UGC Video Detail Caption Model and New Benchmarks
arxiv.org·1d
🎮Verification Games
Can Multimodal Foundation Models Understand Schematic Diagrams? An Empirical Study on Information-Seeking QA over Scientific Papers
arxiv.org·1d
✓Automated Theorem Proving
Ocean Diviner: A Diffusion-Augmented Reinforcement Learning for AUV Robust Control in the Underwater Tasks
arxiv.org·1d
🔄Finite State Machines
Artificial Intelligence and Journalism: A Systematic Bibliometric and Thematic Analysis of Global Research
arxiv.org·1d
✓Automated Theorem Proving
The Man Behind the Sound: Demystifying Audio Private Attribute Profiling via Multimodal Large Language Model Agents
arxiv.org·2d
🌐NetworkProtocols
Accelerating seismic inversion and uncertainty quantification with efficient high-rank Hessian approximations
arxiv.org·1d
🐫OCaml
HNOSeg-XS: Extremely Small Hartley Neural Operator for Efficient and Resolution-Robust 3D Image Segmentation
arxiv.org·3d
💻CS
Amazon just launched Kiro.dev. An AI IDE for Spec-Driven Development (It's amazing!)
reddit.com·13h·
Discuss: r/programming
🧱Immutable Infrastructure
Loading...Loading more...
AboutBlogChangelogRoadmap