๐Ÿฟ๏ธ 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

Scales as Multipermutations of 0 and 1 into Twelve Places
petecorey.comยท2dยท
Discuss: Lobsters
๐ŸŽผAudio Lambda Calculus
Judge Alsup: Training AI On Copyrighted Works? Fair Use. Building Pirate Libraries? Not So Much
techdirt.comยท1d
โš–๏ธEmulation Ethics
Implementing Post Quantum algorithms in PKCS #11 - DevConf.CZ 2025
youtube.comยท2d
๐Ÿ”Quantum Security
Slashing CI Costs at Uber
uber.comยท3dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Fireside Friday, June 27, 2025 (On the Limits of Realism)
acoup.blogยท20hยท
Discuss: Hacker News
๐ŸงฎTheoretical Computer Science
Untangling Lifetimes: The Arena Allocator
rfleury.comยท3hยท
Discuss: Hacker News
๐Ÿง Memory Allocators
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.appยท2dยท
Discuss: Hacker News
โšกProof Automation
Philosopher Wraps Cooperation with Trump in Flag of Academic Freedom
dailynous.comยท1d
๐ŸงฒMagnetic Philosophy
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.orgยท4d
๐Ÿ”Type Inference
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.orgยท4d
๐Ÿ’ปProgramming languages
Want To Learn Artificial Intelligence Course From Genuine Institute?
dev.toยท4hยท
Discuss: DEV
๐Ÿง Machine Learning
Decoding the Human Language: An Introduction to Natural Language Processing (NLP) Fundamentals
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Text Parsing
Counterfactual Influence as a Distributional Quantity
arxiv.orgยท2d
๐ŸŽฏArithmetic Coding Theory
Machine Learning Fundamentals: active learning project
dev.toยท2dยท
Discuss: DEV
๐Ÿง Machine Learning
Fine-Tuning and Prompt Engineering of LLMs, for the Creation of Multi-Agent AI for Addressing Sustainable Protein Production Challenges
arxiv.orgยท2d
๐ŸงฎTheorem Proving
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.orgยท1d
๐Ÿ—œ๏ธGraph Compression
A Unifying Theory for Runge-Kutta-like Time Integrators: Convergence and Stability
arxiv.orgยท2d
๐Ÿ“Error Bounds
Quantum Neural Networks for Propensity Score Estimation and Survival Analysis in Observational Biomedical Studies
arxiv.orgยท2d
๐Ÿ•ธ๏ธTensor Networks
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.orgยท4d
๐Ÿ”Quantum Security
Recall and Refine: A Simple but Effective Source-free Open-set Domain Adaptation Framework
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap