🐿️ 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
·
10h
·
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
Innovative Recommendation Applications Using Two Tower Embeddings at Uber
uber.com
·
1h
·
Discuss:
Hacker News
🎛️
Feed Filtering
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Moving on from XML? A teaser for a possible alternative
genodians.org
·
34m
·
Discuss:
Hacker News
📝
Concrete Syntax
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
·
12h
·
Discuss:
Lobsters
,
Hacker News
🔄
Language Evolution
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
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
A gentle introduction to Generative AI: Historical perspective
medium.com
·
15h
·
Discuss:
Hacker News
🧠
Learned Codecs
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
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org
·
1d
⚙️
Compression Benchmarking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com
·
2d
🌐
WASI
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com
·
1d
·
Discuss:
r/rust
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Protobuf: Rust Generated Code Guide
protobuf.dev
·
3d
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org
·
2d
🔨
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Picking an AI Code Reviewer
markmarkoh.com
·
21h
·
Discuss:
Hacker News
📏
Code Metrics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com
·
3d
·
Discuss:
Hacker News
,
r/neovim
🔗
Lisp
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A new breed of analyzers
daniel.haxx.se
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐛
Fuzzing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Vibing a Non-Trivial Ghostty Feature
mitchellh.com
·
16h
·
Discuss:
Lobsters
,
Hacker News
🔌
Interface Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Ship Broken Things
matmul.net
·
1d
·
Discuss:
Hacker News
🔗
Topological Sorting
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 5
•
Page 7 »