🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📏 Linear Logic

Resource Awareness, Session Types, Proof Nets, Substructural Logic

Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·1d
🔄Reproducible Builds
Intermediate Zig Build
rdunnington.github.io·7h·
Discuss: Hacker News
⚙️Build Archaeology
MirageLSD: The First Live-Stream Diffusion AI Video Model
about.decart.ai·15h·
Discuss: Hacker News
⚡LZ4 Streaming
Asymmetry of Verification and Verifier's Law
jasonwei.net·2d·
Discuss: Hacker News, Hacker News
🔮Proof Search
How to reason from first principles
caseyhandmer.wordpress.com·1d·
Discuss: Hacker News
🎯Proof Tactics
The Conspiracy of Reason
medium.com·40m·
Discuss: Hacker News
🔲Cellular Automata
Spent the week at one of the top AI research conferences
aol.com·16h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Achieving SOTA LongMemEval scores (80%) with RAG alone
mastra.ai·16h·
Discuss: Hacker News
🧠Memory Forensics
kubriX: Out of the Box Internal Developer Platform (IDP) for Kubernetes
reddit.com·13h·
Discuss: r/kubernetes
🏺ZIP Archaeology
The Future of IoT AI in 2025 and Beyond
dev.to·1d·
Discuss: DEV
🌊Stream Processing
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·1d
🔐Quantum Security
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·1d
🔲Cellular Automata
Toxicity-Aware Few-Shot Prompting for Low-Resource Singlish Translation
arxiv.org·1d
🎙️Whisper
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·1d
🤐Secure Multiparty
Mapping Emotions in the Brain: A Bi-Hemispheric Neural Model with Explainable Deep Learning
arxiv.org·8h
🧠Neural Codecs
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Knowledge Without Power: AI, Infrastructure, and the Ethics of Design
medium.com·22h·
Discuss: Hacker News
⚖️Emulation Ethics
Creating an AI Study Buddy Assistant with Google AI Studio
dev.to·6h·
Discuss: DEV
⚡Proof Automation
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·3d
🔲Proof Irrelevance
MediaMind AI - Intelligent Content Discovery Platform with Algolia MCP Server
dev.to·1d·
Discuss: DEV
🧭Content Discovery
Loading...Loading more...
AboutBlogChangelogRoadmap