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
⚡ Const Evaluation
Compile-Time Computation, Const Fn, Static Analysis, CTFE
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
26523
posts in
300.5
ms
The missing
call-assign
operator
kevincox.ca
·
4h
·
Discuss:
Hacker News
📌
Pin/Unpin
Fun with
TypeScript
Generics
frontendmasters.com
·
3h
📘
Typescript
Computing Least Fixed Points with
Overwrite
Semantics
in Parallel and Distributed Systems
arxiv.org
·
1d
🚀
Async Optimization
Rust
Standard
Library Challenges
rustfinity.com
·
2d
·
Discuss:
r/rust
🦀
Rust
My
Skill
Makes Claude Code GREAT At
TDD
aihero.dev
·
5h
🔌
Claude Plugins
Allocators
from C to
Zig
antonz.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/C_Programming
,
r/programming
🧠
Memory Allocators
keplertech/kepler-formal
:
LEC
- Logic Equivalence Checking - Formal Verification
github.com
·
9h
·
Discuss:
Hacker News
📐
TLA+
cleveref
post 2024 breaks references to
theorems/lemmas
etc
snips.bearblog.dev
·
15h
🔒
Borrow Checker
Quick and
dirty
linting
phpied.com
·
13h
📏
Linear Types
Is this
const
str
concat
macro cursed or blessed?
docs.rs
·
2d
·
Discuss:
r/rust
⚙
Rust Macros
Deferred
member
initialization
in C++
sandordargo.com
·
2d
·
Discuss:
Lobsters
📌
Pin/Unpin
Compiler-Guided
Inference-Time Adaptation: Improving GPT-5 Programming Performance in
Idris
arxiv.org
·
15h
⚙
Rust Compiler Internals
Tracking Issue for
Generic
Constant
Arguments MVP · Issue #132980
github.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Programming
languages
mothcodes.bearblog.dev
·
10h
💻
Programming languages
Mapping a C
enum
to Error
values
ziggit.dev
·
23h
🔢
Algebraic Data Types
Expressing
a prime as the sum of two
squares
johndcook.com
·
18h
·
Discuss:
Hacker News
➕
Sum Types
Last JavaScript-based
TypeScript
arrives
in beta
infoworld.com
·
19h
📘
Typescript
Proof-oriented
Programming in F*
fstar-lang.org
·
1d
·
Discuss:
Lobsters
💻
Programming languages
Functional
Programming
in an LLM World
notes.druchan.com
·
2d
💻
Programming languages
Breaking the
Tractability
Barrier: A Generic Low-Level Solver for
NP-Hard
Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org
·
14h
·
Discuss:
r/programming
🧮
SMT Solvers
Loading...
Loading more...
Page 2 »
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