🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔶 Cubical Type Theory
Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Oct 29 2025 : Build Your Own ArduTouch Synthesizer Workshop
nycresistor.com
·
54m
🎹
MIDI Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Weird ideas welcome: VC fund looking to make science fiction factual
theregister.com
·
8h
🖥️
Modern Terminals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Physical Warp Drives
arxiv.org
·
2h
·
Discuss:
Hacker News
🌡️
Preservation Physics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com
·
18h
·
Discuss:
Hacker News
🎧
Learned Audio
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io
·
21h
·
Discuss:
Hacker News
🎯
Performance Proofs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog
·
1d
·
Discuss:
Hacker News
,
r/programming
✅
Format Verification
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: I built a SaaS in 8 weeks, solo, using our own AI platform
zine.ai
·
1d
·
Discuss:
Hacker News
🚀
Indie Hacking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org
·
1d
📋
Document Grammar
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building Luca: An AI Agent for Finance and Accounting Workflows
leapfin.com
·
1h
·
Discuss:
Hacker News
🔗
Constraint Handling
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loyca.ai – An open-source, local-first AI assistant with contextual awareness
github.com
·
1h
·
Discuss:
Hacker News
🌀
Brotli Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org
·
1d
⚙️
Compression Benchmarking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Parameterized Complexity of Temporal Connected Components: Treewidth and k-Path Graphs
arxiv.org
·
3d
🎨
Graph Coloring
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org
·
1d
📼
Cassette Combinators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
On Convex Functions of Gaussian Variables
arxiv.org
·
2d
📐
Compression Mathematics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Can Risk-taking AI-Assistants suitably represent entities
arxiv.org
·
1d
🔗
Constraint Handling
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com
·
3d
·
Discuss:
Hacker News
,
r/neovim
🔗
Lisp
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why LLMs cannot reach GenAI, but why it looked like they could
haversine.substack.com
·
21h
·
Discuss:
Substack
🧠
Intelligence Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Title: The Complexity of ChatGPT's Model Picker: A Comprehensive Analysis
dev.to
·
1d
·
Discuss:
DEV
🌳
Context free grammars
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
TypeScript Flaws (2024)
intercaetera.com
·
4d
·
Discuss:
Hacker News
🎯
Gradual Typing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org
·
1d
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 6
•
Page 8 »