๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ Dependently Typed
Proof-Carrying Code, Correctness by Construction, Type-Level Programming
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
KDE Frameworks 6.19 Is Out, Hereโs Whatโs New
linuxiac.com
ยท
2h
๐
Open Source Software
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Random samples from a tetrahedron
johndcook.com
ยท
11h
๐
Information Crystallography
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Chip That Spoke Lisp
jxself.org
ยท
4d
๐ค
Lisp Machines
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com
ยท
1d
ยท
Discuss:
Substack
๐ฒ
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We May Have a Path to the Fundamental Theory of Physics (2020)
writings.stephenwolfram.com
ยท
16h
ยท
Discuss:
Hacker News
โฐ
Time Crystals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Letting Claude make art with code
nuudeli.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Streaming Algorithms
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We built AI that auto-checks building plans
planchecksolver.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Reproducible Builds
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
PHP's New URI Extension
thephp.foundation
ยท
1d
ยท
Discuss:
Hacker News
๐
Web Standards
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com
ยท
2d
ยท
Discuss:
Lobsters
,
Hacker News
๐งฎ
Algebraic Datatypes
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com
ยท
22h
ยท
Discuss:
Hacker News
๐ง
Learned Audio
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Python 3.14 Released with Template String Literals, Deferred Annotations, and
socket.dev
ยท
4d
ยท
Discuss:
Hacker News
๐ง
Liquid Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai
ยท
1d
ยท
Discuss:
Hacker News
๐ฏ
Performance Proofs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Vibing a Non-Trivial Ghostty Feature
mitchellh.com
ยท
23h
ยท
Discuss:
Lobsters
,
Hacker News
๐
Interface Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
English - the hottest programming language of the future
dev.to
ยท
1d
ยท
Discuss:
DEV
๐
Language Evolution
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
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org
ยท
4d
๐ป
Programming languages
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
More Than Code: Gearing Up for the Hackathon of the Year!๐
dev.to
ยท
3h
ยท
Discuss:
DEV
๐ด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟ
Scottish Computing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A gentle introduction to Generative AI: Historical perspective
medium.com
ยท
22h
ยท
Discuss:
Hacker News
๐ง
Learned Codecs
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
Loading...
Loading more...
« Page 7
โข
Page 9 »