🐿️ 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
·
14h
·
Discuss:
www.blogger.com
λ
Lambda Encodings
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
PoC for Critical Lua Engine Vulnerabilities in Redis 7.4.5
redrays.io
·
27m
·
Discuss:
Hacker News
🧪
CBOR Fuzzing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Innovative Recommendation Applications Using Two Tower Embeddings at Uber
uber.com
·
5h
·
Discuss:
Hacker News
🎛️
Feed Filtering
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
A gentle introduction to Generative AI: Historical perspective
medium.com
·
19h
·
Discuss:
Hacker News
🧠
Learned Codecs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Protobuf: Rust Generated Code Guide
protobuf.dev
·
4d
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Picking an AI Code Reviewer
markmarkoh.com
·
1d
·
Discuss:
Hacker News
📏
Code Metrics
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
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
Ship Broken Things
matmul.net
·
2d
·
Discuss:
Hacker News
🔗
Topological Sorting
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Python 3.14 Unleashed: Revolutionary Features That Will Transform Your Code (Part 1)
dev.to
·
3d
·
Discuss:
DEV
💧
Liquid Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
arxiv.org
·
1d
✨
Effect Handlers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to
·
1d
·
Discuss:
DEV
⚡
Incremental Computation
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
A Proof of the Riemann Hypothesis
dev.to
·
2d
·
Discuss:
DEV
⚔️
Lean Theorem
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Completing urgent fixes anywhere with GitHub Copilot coding agent and mobile
github.blog
·
3d
📜
Proof Carrying Code
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Built a “code-first + visual” ETL/ELT Pipeline in Go — feedback wanted from data folks
reddit.com
·
3h
·
Discuss:
r/golang
💧
Liquidhaskell
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Static Bundle Object: Modernizing Static Linking
medium.com
·
4d
·
Discuss:
Hacker News
,
Hacker News
🔗
Static Linking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Vibing a Non-Trivial Ghostty Feature
mitchellh.com
·
20h
·
Discuss:
Lobsters
,
Hacker News
🔌
Interface Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 6
•
Page 8 »