🐿️ 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

What is a smooth manifold?
burttotaro.wordpress.comΒ·4d
πŸ•ΈοΈAlgebraic Topology
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.comΒ·3d
πŸ”²Cellular Automata
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.comΒ·3hΒ·
Discuss: Hacker News
πŸ”Homomorphic Encryption
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.comΒ·1dΒ·
Discuss: Hacker News
πŸ§ͺBinary Fuzzing
how to decide on the sequence of computable numbers
academia.eduΒ·5dΒ·
Discuss: Hacker News, r/compsci, r/programming
🎞️Tape Combinatorics
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.comΒ·7hΒ·
Discuss: Hacker News
πŸ¦€Rusty Databases
Simpler Category Theory
ryanbrewer.devΒ·5dΒ·
Discuss: Hacker News
πŸ”€Category Theory
Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.orgΒ·1d
πŸ’ΎBinary Linguistics
Factor Informed Double Deep Learning For Average Treatment Effect Estimation
arxiv.orgΒ·3h
🧠Machine Learning
Can AI Have a Personality? Prompt Engineering for AI Personality Simulation: A Chatbot Case Study in Gender-Affirming Voice Therapy Training
arxiv.orgΒ·3h
πŸ’»Programming languages
Machine Learning for Medicine Must Be Interpretable, Shareable, Reproducible and Accountable by Design
arxiv.orgΒ·1d
🧠Machine Learning
Do What? Teaching Vision-Language-Action Models to Reject the Impossible
arxiv.orgΒ·1d
βš–οΈRISC-V Formal
Longitudinal Progression Prediction of Alzheimer's Disease with Tabular Foundation Model
arxiv.orgΒ·3h
πŸ—‚οΈVector Databases
HiCL: Hippocampal-Inspired Continual Learning
arxiv.orgΒ·3h
πŸ”²Cellular Automata
CEIDM: A Controlled Entity and Interaction Diffusion Model for Enhanced Text-to-Image Generation
arxiv.orgΒ·3h
πŸ›Digital humanities
On the Edge of Memorization in Diffusion Models
arxiv.orgΒ·3h
πŸ“ŠLearned Metrics
Multi-modal Knowledge Decomposition based Online Distillation for Biomarker Prediction in Breast Cancer Histopathology
arxiv.orgΒ·3h
πŸ—‚οΈVector Databases
Show HN: Cairo – Open-source multi-tenant data segregation for GTM
github.comΒ·16hΒ·
Discuss: Hacker News
πŸ”ŒArchive APIs
nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
arxiv.orgΒ·3h
πŸ•ΈοΈNetwork Topology
Demographic Biases and Gaps in the Perception of Sexism in Large Language Models
arxiv.orgΒ·3h
πŸ“ŠFeed Optimization
Loading...Loading more...
AboutBlogChangelogRoadmap