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

The many myths about the Chinese typewriter
languagelog.ldc.upenn.edu·2d
🇨🇳Chinese Computing
The AI 2027 Report: A Glimpse into a Superintelligent Future
metrics.blogg.gu.se·1d
🔲Cellular Automata
Tiny Tubes Reveal Clues to the Evolution of Complex Life
quantamagazine.org·1d·
Discuss: Hacker News
🦴Database Paleontology
A neural basis for distinguishing imagination from reality
cell.com·3d·
Discuss: Hacker News
👁️Perceptual Coding
Close the loop: analytics that teach your chatbot to fix itself
hoverbot.ai·2h·
Discuss: Hacker News
🌊Stream Processing
The Design and Regulation of Technology
leapfrog.nl·2d·
Discuss: Hacker News
🧲Magnetic Philosophy
Protobuffers Are Wrong
reasonablypolymorphic.com·4d·
Discuss: Hacker News, r/programming
📋Protocol Buffers
Trillion Dollar Elephants
dbushell.com·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
AI Isn't Biased Enough
hedgehogreview.com·2d·
Discuss: Hacker News
🔲Cellular Automata
A Humble Blog Post
nvegater.com·2d·
Discuss: Hacker News
💾Persistence Strategies
K2 Think: Abu Dhabi's Efficient AI Model Challenges Industry Giants
dev.to·14h·
Discuss: DEV
🧠Intelligence Compression
E-ARMOR: Edge case Assessment and Review of Multilingual Optical Character Recognition
arxiv.org·5d
📄OCR
Logic Theorist
en.wikipedia.org·4d·
Discuss: Hacker News
🔬Logic in Computer Science
Disaggregation: A New Architecture for Cloud Databases
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🗄️Database Sharding
Adaptive Prefabricated Modular Housing Network Optimization via Reinforcement Learning
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Intro to Python Module One: Getting Started with Python
dev.to·1d·
Discuss: DEV
🔗Lisp
Single-Shot Decoding of Biased-Tailored Quantum LDPC Codes
arxiv.org·1d
⚛️Quantum LDPC
Greener Deep Reinforcement Learning: Analysis of Energy and Carbon Efficiency Across Atari Benchmarks
arxiv.org·2d
🔲Cellular Automata
Computational Cognitive Modeling to understand the effects of Racializing AI on Human-AI cooperation with PigChase Task
arxiv.org·2d
🔲Cellular Automata
Research on Multi-hop Inference Optimization of LLM Based on MQUAKE Framework
arxiv.org·2d
💻Local LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap