🐿️ 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
#16 Pronic, oblong, rectangular numbers.... Etymology and History of Math Terms
pballew.blogspot.com
·
6h
·
Discuss:
www.blogger.com
λ
Lambda Encodings
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
"i like making things—" no. you like things.
kivikakk.ee
·
2d
📏
Code Metrics
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
·
17h
·
Discuss:
r/rust
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
IASC: Interactive Agentic System for ConLangs
arxiv.org
·
1d
🌳
Context free grammars
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
·
1d
·
Discuss:
Hacker News
⚙️
Proof Engineering
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Health Effects of Electromagnetic Radiation
huijzer.xyz
·
2h
·
Discuss:
Lobsters
,
Hacker News
📄
PostScript
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.org
·
1d
🌀
Differential Geometry
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
rust-lang/rustfmt
github.com
·
1d
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Padding
reddit.com
·
8h
·
Discuss:
r/golang
🔧
KAITAI
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Conveyor Belt Protocol: Understanding Iterators
dev.to
·
9h
·
Discuss:
DEV
🧬
Functional Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Less Is More: Recursive Reasoning with Tiny Networks
github.com
·
2d
·
Discuss:
Hacker News
📊
Quantization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Making Slint UI Framework Desktop-Ready
slint.dev
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/cpp
,
r/rust
🐚
Nordic Shell
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Realization Jsmn on a Pure Zig
github.com
·
1d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
English - the hottest programming language of the future
dev.to
·
19h
·
Discuss:
DEV
🔄
Language Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Real Programmers Don't Use Pascal (1982)
ee.torontomu.ca
·
2d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why it took 4 years to get a lock files specification
snarky.ca
·
9h
·
Discuss:
Lobsters
,
Hacker News
🔄
Language Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Operable Software
ferd.ca
·
1d
·
Discuss:
Hacker News
👁️
System Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Built Open Source AI Coding Assistant Which Rivals to Cursor
lynelabs.com
·
2d
·
Discuss:
Hacker News
🔓
Open Source Software
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Falsehoods Vibe Coders Believe About LLMs
wilsonhobbs.com
·
2d
·
Discuss:
Hacker News
💧
Liquid Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com
·
5d
⬆️
Lambda Lifting
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 4
•
Page 6 »