🐿️ 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
Online activities 6 – 12 October
ests.wordpress.com
·
4d
🏗️
Constructive Mathematics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Your LLM Won’t Stop Lying Any Time Soon
hackaday.com
·
23h
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Health Effects of Electromagnetic Radiation
huijzer.xyz
·
14h
·
Discuss:
Lobsters
,
Hacker News
📄
PostScript
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
C++26: range support for std:optional
sandordargo.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
💧
Liquid Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Picking an AI Code Reviewer
markmarkoh.com
·
1d
·
Discuss:
Hacker News
📏
Code Metrics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
GPT-5 for AI-assisted discovery
johndcook.com
·
1d
·
Discuss:
Hacker News
🎯
Performance Proofs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
OpenAI's inflated valuation, as I understand it
taloranderson.com
·
1d
·
Discuss:
Hacker News
💻
Local LLMs
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
·
2d
·
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
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to
·
1d
·
Discuss:
DEV
🔍
Concolic Testing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
CoMAS: Co-Evolving Multi-Agent Systems via Interaction Rewards
arxiv.org
·
1d
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Quantum Relative Entropy Decay Composition Yields Shallow, Unstructured k-Designs
arxiv.org
·
1d
⚛️
Quantum Circuits
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org
·
1d
🔗
Parser Combinators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Solution to the Paperclip Problem
link.springer.com
·
4d
·
Discuss:
Hacker News
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Fast-Convergent Proximity Graphs for Approximate Nearest Neighbor Search
arxiv.org
·
3d
📏
Range Queries
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org
·
4d
🎯
Performance Proofs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
"Grillz on a hijabi": Intersectional Identities in Fostering Critical AI Literacy
arxiv.org
·
2d
🏛
Digital humanities
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
SliceFine: The Universal Winning-Slice Hypothesis for Pretrained Networks
arxiv.org
·
1d
🧠
Neural Codecs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to
·
1d
·
Discuss:
DEV
⚡
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 8
•
Page 10 »