🐿️ 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
CSS Grid: A helpful mental model and the power of grid lines
webkit.org
·
2d
·
Discuss:
r/webdev
📖
Nordic Typography
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
History rides again
robinsloan.com
·
20h
✨
Effect Handlers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
1990s Millport CNC Vertical Mill Revival
salvagedcircuitry.com
·
5h
·
Discuss:
Hacker News
⚙️
Modern Assembly
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Intelligent Search in Rails with Typesense
avohq.io
·
3d
·
Discuss:
Hacker News
🎯
Gradual Typing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Beyond the Hyped IMO Benchmarks: Towards a True Mathematical AI Discovery
quantumformalism.substack.com
·
2d
·
Discuss:
Substack
🧮
SMT Solvers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Just saw a new app that reverse engineers prompting...
reddit.com
·
13h
·
Discuss:
r/artificial
🔍
BitFunnel
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Title: Anthropic's Countermove: Offering Claude to Government Agencies for $1
dev.to
·
6h
·
Discuss:
DEV
🔓
Open Source Software
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Built a “code-first + visual” ETL/ELT Pipeline in Go — feedback wanted from data folks
reddit.com
·
13h
·
Discuss:
r/golang
💧
Liquidhaskell
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How Machine Learning is Reshaping Financial Markets
dev.to
·
22h
·
Discuss:
DEV
🧠
Machine Learning
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.org
·
2d
📊
HyperLogLog
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Ollama SDKs in Go: Overview and Code Examples
dev.to
·
5h
·
Discuss:
DEV
🔓
Open Source Software
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Build a Private AI Chatbot for Your PDFs with Genkit and Gaia
dev.to
·
2h
·
Discuss:
DEV
📄
Document Streaming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Announcing state-machines: Rust Port of Ruby's state_machines Gem
reddit.com
·
1d
·
Discuss:
r/rust
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Custom Conveyor: Building Your Own Iterators
dev.to
·
1d
·
Discuss:
DEV
🔄
Burrows-Wheeler
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Recurrent Natural Policy Gradient for POMDPs
arxiv.org
·
2d
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
StruSR: Structure-Aware Symbolic Regression with Physics-Informed Taylor Guidance
arxiv.org
·
3d
🧠
Machine Learning
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
CubicLog – A single-binary logging server with zero-config smart analytics
github.com
·
2d
·
Discuss:
Hacker News
📝
Log Parsing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Bound-Preserving WENO Schemes for Temple-class systems
arxiv.org
·
5d
🎯
Performance Proofs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Hidden Power of ChatGPT Prompts Nobody Talks About
dev.to
·
5h
·
Discuss:
DEV
⚡
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Comparing human and language models sentence processing difficulties on complex structures
arxiv.org
·
3d
🔗
Parser Combinators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 10
•
Page 12 »