๐ฟ๏ธ 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
Modern C and initializing an array
subethasoftware.com
ยท
2d
๐
Data structures
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Igor Tamm and the Taylor expansion (2017)
damtson.wordpress.com
ยท
21h
ยท
Discuss:
Hacker News
๐
Soviet Cryptography
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
DataWave: General purpose framework for both structured and unstructured data
code.nsa.gov
ยท
20h
ยท
Discuss:
Hacker News
๐
Streaming Databases
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
1990s Millport CNC Vertical Mill Revival
salvagedcircuitry.com
ยท
10h
ยท
Discuss:
Hacker News
โ๏ธ
Modern Assembly
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why do CPUs have multiple cache levels?
fgiesen.wordpress.com
ยท
17h
ยท
Discuss:
Hacker News
โก
Cache Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Intelligent Search in Rails with Typesense
avohq.io
ยท
4d
ยท
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
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com
ยท
2d
ยท
Discuss:
Hacker News
โ๏ธ
Proof Engineering
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
odbms.org
ยท
1d
ยท
Discuss:
Lobsters
,
Hacker News
๐
APL Heritage
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why Go (Golang) Is Worth Learning in 2025
dev.to
ยท
19h
ยท
Discuss:
DEV
๐ง
Lisp Dialects
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Programmer in Wonderland
binaryigor.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฉ
Systems Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Vibing a Non-Trivial Ghostty Feature
mitchellh.com
ยท
1d
ยท
Discuss:
Lobsters
,
Hacker News
๐
Interface Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Just saw a new app that reverse engineers prompting...
reddit.com
ยท
18h
ยท
Discuss:
r/artificial
๐
BitFunnel
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Parallel-in-Time Solution of Allen-Cahn Equations by Integrating Operator Learning into the Parareal Method
arxiv.org
ยท
2d
๐ธ๏ธ
Tensor Networks
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca
ยท
1d
ยท
Discuss:
Hacker News
๐
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Two-Stage Voting for Robust and Efficient Suicide Risk Detection on Social Media
arxiv.org
ยท
2d
๐พ
Binary Linguistics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Measuring What Matters: The AI Pluralism Index
arxiv.org
ยท
2d
๐ค
AI Curation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org
ยท
2d
ยท
Discuss:
r/LLM
๐ป
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building A Real-Time Communication System Using Go and WebSocket
dev.to
ยท
1d
ยท
Discuss:
DEV
๐
WebSocket Framing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 12
โข
Page 14 »