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

Writing Help: WhatsApp's AI writing help promises maximum data protection
heise.deยท3h
๐Ÿ”BitFunnel
Encoding sortable binary database keys
stately.cloudยท1dยท
Discuss: Hacker News
๐Ÿ’พDatabase Formats
Trunk: Our Choice for Linting TF Code
newsletter.masterpoint.ioยท8hยท
Discuss: Hacker News
๐Ÿ“ฆArchive Formats
Go Struct Alignment: a Practical Guide
medium.comยท14hยท
Discuss: r/golang
๐Ÿ”งBinary Parsers
Music to Break Models By
matthodges.comยท2dยท
Discuss: Lobsters, Hacker News
๐Ÿ“ผCassette Hacking
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.deยท23hยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿš€Compiler Optimizations
OmniMRI: A Unified Vision--Language Foundation Model for Generalist MRI Interpretation
arxiv.orgยท2d
๐Ÿค–Advanced OCR
Meta-R1: Empowering Large Reasoning Models with Metacognition
arxiv.orgยท2d
๐Ÿง Intelligence Compression
Leveraging Language Models and Machine Learning in Verbal Autopsy Analysis
arxiv.orgยท5h
๐Ÿค–Grammar Induction
Inference Gap in Domain Expertise and Machine Intelligence in Named Entity Recognition: Creation of and Insights from a Substance Use-related Dataset
arxiv.orgยท5h
๐Ÿง Machine Learning
COVID19 Prediction Based On CT Scans Of Lungs Using DenseNet Architecture
arxiv.orgยท2d
๐Ÿ•ธ๏ธAlgebraic Topology
Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms
arxiv.orgยท3d
๐Ÿ•ธ๏ธNetwork Topology
Learning Explainable Imaging-Genetics Associations Related to a Neurological Disorder
arxiv.orgยท1d
๐ŸŒ€Hyperbolic Geometry
NinA: Normalizing Flows in Action. Training VLA Models with Normalizing Flows
arxiv.orgยท2d
๐ŸŽ™๏ธWhisper
SSFO: Self-Supervised Faithfulness Optimization for Retrieval-Augmented Generation
arxiv.orgยท2d
๐Ÿ”—Monadic Parsing
AI Product Value Assessment Model: An Interdisciplinary Integration Based on Information Theory, Economics, and Psychology
arxiv.orgยท2d
๐Ÿง Intelligence Compression
A Dynamic Approach to Collaborative Document Writing
arxiv.orgยท2d
๐Ÿ”—Parser Combinators
Skeptik: A Hybrid Framework for Combating Potential Misinformation in Journalism
arxiv.orgยท1d
๐Ÿ“ฐContent Curation
History Rhymes: Accelerating LLM Reinforcement Learning with RhymeRL
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
What Makes AI Applications Acceptable or Unacceptable? A Predictive Moral Framework
arxiv.orgยท5h
๐Ÿค–AI Curation
Loading...Loading more...
AboutBlogChangelogRoadmap