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

4-Dimensional Cross-Polytope
johncarlosbaez.wordpress.comΒ·1d
πŸ“Mathematical Art
Weird little games, summer edition
blog.zarfhome.comΒ·1h
πŸ“ΌRetro Games
Emergent Crowds Dynamics from Language-Driven Multi-Agent Interactions
arxiv.orgΒ·1d
πŸ”²Cellular Automata
Rebuilding Babel: The Tokenizer (2022)
nan.fyiΒ·1dΒ·
Discuss: Hacker News
πŸ”—Concatenative Programming
DeepThink3D: Enhancing Large Language Models with Programmatic Reasoning in Complex 3D Situated Reasoning Tasks
arxiv.orgΒ·1d
⚑Incremental Computation
When AI optimizations miss the mark: A case study in array shape calculation
questdb.comΒ·2dΒ·
Discuss: Hacker News, r/programming
⚑Performance Mythology
Toying with Poisoned Search Results Fed to an LLM
github.comΒ·1dΒ·
Discuss: Hacker News
πŸ”Information Retrieval
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.ioΒ·20hΒ·
Discuss: Hacker News
πŸ“ΌTape Combinators
Show HN: I built a tool to help you quickly understand MBTI personality types
easymbti.orgΒ·2dΒ·
Discuss: Hacker News
🧠Intelligence Compression
Custom slash commands in Claude Code
boliv.substack.comΒ·6hΒ·
Discuss: Substack
βš”οΈLean Tactics
Exact Shapley Attributions in Quadratic-time for FANOVA Gaussian Processes
arxiv.orgΒ·2d
🧠Machine Learning
EMNLP: Educator-role Moral and Normative Large Language Models Profiling
arxiv.orgΒ·1d
πŸ’»Programming languages
Frizzante, an opinionated web framework that renders Svelte.
reddit.comΒ·1dΒ·
Discuss: r/golang
πŸ”’Linear Types
Convergence in Software
valand.devΒ·1dΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Deep Dive: OpenAI's GPT-OSS
dev.toΒ·20hΒ·
Discuss: DEV
πŸ“ŠQuantization
From Basic Affordances to Symbolic Thought: A Computational Phylogenesis of Biological Intelligence
arxiv.orgΒ·1d
πŸ”²Cellular Automata
How to Avoid Thread-Safety Cost for Functions' Static Variables
cppstories.comΒ·2hΒ·
Discuss: Hacker News
πŸ”’Type Safety
What’s hierarchical about a hierarchical wallet?
johndcook.comΒ·11h
🌳Archive Merkle Trees
Compute Where It Counts: a trainable LLM sparsity enabling 4x CPU speed
crystalai.orgΒ·3dΒ·
Discuss: Hacker News
🌊Streaming Algorithms
Who Sees What? Structured Thought-Action Sequences for Epistemic Reasoning in LLMs
arxiv.orgΒ·2d
πŸ“Linear Logic
Loading...Loading more...
AboutBlogChangelogRoadmap