🐿️ 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
·
4h
🎹
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
·
12h
🖥️
Modern Terminals
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
·
1d
·
Discuss:
Hacker News
🎯
Performance Proofs
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
Building Luca: An AI Agent for Finance and Accounting Workflows
leapfin.com
·
4h
·
Discuss:
Hacker News
🔗
Constraint Handling
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Ship Broken Things
matmul.net
·
2d
·
Discuss:
Hacker News
🔗
Topological Sorting
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
Refactoring: A way to write better Code
dev.to
·
20h
·
Discuss:
DEV
⚙️
Operational Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Memgoose – An In-Memory Mongoose Impersonator
github.com
·
13h
·
Discuss:
Hacker News
🔄
Sync Engine
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
To Sink or Not to Sink: Visual Information Pathways in Large Vision-Language Models
arxiv.org
·
1d
📊
Learned Metrics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Proof of the Riemann Hypothesis
future.forem.com
·
2d
·
Discuss:
DEV
🎯
Arithmetic Coding Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.to
·
18h
·
Discuss:
DEV
🔗
Supply Chain
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How the Rise of Tabular Foundation Models Is Reshaping Data Science
towardsdatascience.com
·
2d
🧠
Machine Learning
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org
·
2d
🔨
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Bayesian Optimization for Dynamic Sample Size Allocation in A/B Testing
dev.to
·
2h
·
Discuss:
DEV
🧮
Kolmogorov Bounds
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Retentive Relevance: Capturing Long-Term User Value in Recommendation Systems
arxiv.org
·
1d
🎯
Content Recommendation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Forecasting the Buzz: Enriching Hashtag Popularity Prediction with LLM Reasoning
arxiv.org
·
1d
⚖️
Feed Ranking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Library Method: Understanding @cache
dev.to
·
1d
·
Discuss:
DEV
⚡
Cache Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Causal Abstractions, Categorically Unified
arxiv.org
·
4d
✨
Effect Handlers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 7
•
Page 9 »