๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”ถ Cubical Type Theory

Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types

Come Work With Us - Design Lab Intern
blogs.lib.umich.eduยท3h
โšกCircuit Design
I Tried the App That Promises the Best of Notion and Obsidian, but Itโ€™s Uniquely Complicated
makeuseof.comยท3d
๐Ÿ—„๏ธType-safe Archives
Log Detective: GSoC 2025 (part 2)
danigm.netยท6h
๐Ÿ”“Open Source Software
We will soon be able to talk with other species. Which will be first?
newscientist.comยท1d
๐Ÿ”ฒCellular Automata
Whatโ€™s Next for Kotlin Multiplatform and Compose Multiplatform โ€“ August 2025 Update
blog.jetbrains.comยท1dยท
Discuss: Hacker News
๐ŸŒ€Brotli Dictionary
SuperNICs Explained and Compared to DPUs
technetbooks.comยท18hยท
Discuss: Hacker News
โšกCompression Hardware
[P] aligning non-linear features with your data distribution
reddit.comยท2dยท
Discuss: r/MachineLearning
๐Ÿง Machine Learning
Popular nx packages compromised on NPM
aikido.devยท47mยท
Discuss: Hacker News
๐Ÿ’ฃZIP Vulnerabilities
What Matters in Data for DPO?
arxiv.orgยท7h
๐Ÿ›ก๏ธDifferential Privacy
ROSE: Remove Objects with Side Effects in Videos
arxiv.orgยท7h
โŸทBidirectional Programming
VisionSafeEnhanced VPC: Cautious Predictive Control with Visibility Constraints under Uncertainty for Autonomous Robotic Surgery
arxiv.orgยท7h
๐Ÿ“Projective Geometry
Automated Landfill Detection Using Deep Learning: A Comparative Study of Lightweight and Custom Architectures with the AerialWaste Dataset
arxiv.orgยท7h
๐ŸŒ€Riemannian Computing
Recurrent Transformer U-Net Surrogate for Flow Modeling and Data Assimilation in Subsurface Formations with Faults
arxiv.orgยท1d
โšกIncremental Computation
Evaluating Movement Initiation Timing in Ultimate Frisbee via Temporal Counterfactuals
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.netยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Functional Compilers
Flatness-aware Curriculum Learning via Adversarial Difficulty
arxiv.orgยท7h
๐Ÿ“ŠLearned Metrics
Uncertainty Propagation Networks for Neural Ordinary Differential Equations
arxiv.orgยท1d
๐Ÿ“ŠQuantization
Visual-CoG: Stage-Aware Reinforcement Learning with Chain of Guidance for Text-to-Image Generation
arxiv.orgยท1d
๐Ÿค–Advanced OCR
TRIM: Accelerating High-Dimensional Vector Similarity Search with Enhanced Triangle-Inequality-Based Pruning
arxiv.orgยท1d
๐Ÿ—‚๏ธVector Databases
DiCache: Let Diffusion Model Determine Its Own Cache
arxiv.orgยท1d
๐Ÿง Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap