🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔲 Proof Irrelevance
Squash Types, Proposition Equality, Setoid Model, Type Theory
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Lisa Fagin Davis’ “The Materiality of the Voynich Manuscript”…
ciphermysteries.com
·
14h
🏰
Manuscript Networks
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Unknotting Number is Not Additive
divisbyzero.com
·
3d
·
Discuss:
Hacker News
🕸️
Algebraic Topology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Monument Engine: Jx
monument.ai
·
11h
·
Discuss:
Lobsters
⚡
SIMD Vectorization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Lobsters Interview with Zdsmith
lobste.rs
·
1d
·
Discuss:
Lobsters
🔗
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why do CPUs have multiple cache levels?
fgiesen.wordpress.com
·
9h
·
Discuss:
Hacker News
⚡
Cache Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🎯
Gradual Typing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev
·
3d
·
Discuss:
Hacker News
🧬
Functional Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Unraveling LCRE-Mediated Chromatin Loops: A Predictive Model for Gene Expression Fine-Tuning in Desert Genomes
dev.to
·
1d
·
Discuss:
DEV
📥
Feed Aggregation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Improving Temporal Understanding Logic Consistency in Video-Language Models via Attention Enhancement
arxiv.org
·
1d
📊
Learned Metrics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Estimating Fair Graphs from Graph-Stationary Data
arxiv.org
·
1d
🌈
Spectral Methods
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Just saw a new app that reverse engineers prompting...
reddit.com
·
9h
·
Discuss:
r/artificial
🔍
BitFunnel
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Refactoring: A way to write better Code
dev.to
·
1d
·
Discuss:
DEV
⚙️
Operational Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com
·
1d
·
Discuss:
Hacker News
✨
Effect Handlers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Operable Software
ferd.ca
·
1d
·
Discuss:
Hacker News
👁️
System Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Understanding Latent Space: How Meaning Is Represented by AI
dev.to
·
8h
·
Discuss:
DEV
🧮
Kolmogorov Complexity
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Scriptable mutating admission hook?
reddit.com
·
1d
·
Discuss:
r/kubernetes
🎯
Gradual Typing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automated Graph Neural Network Calibration for Robust Decentralized Sensor Fusion
dev.to
·
18h
·
Discuss:
DEV
🤝
Consensus Networks
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Hidden Power of ChatGPT Prompts Nobody Talks About
dev.to
·
1h
·
Discuss:
DEV
⚡
Proof Automation
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
Revisiting Mixout: An Overlooked Path to Robust Finetuning
arxiv.org
·
2d
🧠
Learned Codecs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 8
•
Page 10 »