๐ฟ๏ธ 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
ยท
1d
ยท
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
ยท
23h
ยท
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
ยท
13h
ยท
Discuss:
Hacker News
โ๏ธ
Modern Assembly
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why Feeds Fun normalizes tags โ and how
blog.feeds.fun
ยท
2h
ยท
Discuss:
Hacker News
,
r/rss
๐ก
RSS Extensions
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
6 AI Models vs. 3 Advanced Security Vulnerabilities
codelens.ai
ยท
16h
ยท
Discuss:
r/programming
๐
Homelab Pentesting
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
Why do CPUs have multiple cache levels?
fgiesen.wordpress.com
ยท
20h
ยท
Discuss:
Hacker News
โก
Cache Theory
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
How to Use AI to Help with Software Engineering Tasks
newsletter.eng-leadership.com
ยท
1h
ยท
Discuss:
Hacker News
โก
Proof Automation
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
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
Why Go (Golang) Is Worth Learning in 2025
dev.to
ยท
22h
ยท
Discuss:
DEV
๐ง
Lisp Dialects
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
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
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
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
Loading...
Loading more...
« Page 13
โข
Page 15 »