Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔢 Algebraic Data Types
Sum Types, Product Types, Pattern Matching, Enums
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
26896
posts in
3.53
s
Are You Using
Structural
Patterns In An
SLT
Environment?
semiengineering.com
·
1d
🖥️
Hardware Architecture
Wrapping trait
implems
in an enum kept appearing in code base so I
blogged
about it. Are there other such useful patterns that are not much advertised?
asfaload.com
·
1d
·
Discuss:
r/rust
🦀
Rust
Exactly
Computing
do-Shapley
Values
arxiv.org
·
1d
🧮
SMT Solvers
Databases
joodaloop.com
·
22h
⚙️
Database Internals
Functional
Optics
for Modern Java
blog.scottlogic.com
·
2d
💻
Programming languages
☕
Compounding
tensions
kill-the-newsletter.com
·
1d
🚫
Economic Sanctions
The
NuGet
Package
(Part 2) (English)
mostlylucid.net
·
20h
🔤
Font Rendering
Main
Content ||
Math
∩ Programming
jeremykun.com
·
2d
🌳
Data Structures
Backtracking
Algorithms
algos.khourani.com
·
17h
🌸
Bloom Filters
LLM Performance in
Astro
, React,
Tailwind
and Cloudflare
10xbench.ai
·
11h
·
Discuss:
Hacker News
🏆
LLM Benchmarking
punctilio
: the best text
prettifier
lesswrong.com
·
4h
📋
Markdown
January 2026 Monthly report | Alternative Rust
Compiler
for
GCC
rust-gcc.github.io
·
19h
·
Discuss:
r/rust
⚙
Rust Compiler Internals
User:
Yayimhere/Cleverxia
Collab
esolangs.org
·
1d
🔎
Tantivy
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
📦
uv
The Art of Code
manning.com
·
2h
✨
Code Aesthetics
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
1d
💻
Programming languages
a free-to-use data
modeler/generator
for any database
synthforge.io
·
20h
·
Discuss:
Hacker News
💾
Databases
Introduction
to
Compilers
Spring 2026
cs.cornell.edu
·
5h
💻
Programming languages
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Information Flow Verification Framework
Integrating
Static and
Formal
Verification Methods At The Pre-Silicon Stage (U. of Florida)
semiengineering.com
·
15h
📐
TLA+
Loading...
Loading more...
« Page 1
•
Page 3 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help