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
🔄 Tail Recursion
Stack Optimization, Functional Languages, Loop Conversion, TCO
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80148
posts in
259.7
ms
PBLean
:
Pseudo-Boolean
Proof Certificates for Lean 4
arxiv.org
·
9h
🧩
SAT Solvers
Still Manual? Automated
Linter
Configuration via
DSL-Based
LLM Compilation of Coding Standards
arxiv.org
·
9h
🎨
Domain-Specific Languages
Tip of the Week #117:
Copy
Elision
and Pass-by-value
abseil.io
·
2d
⚡
Copy Elision
Announcing
TCMalloc
abseil.io
·
2d
⏲️
Embedded GC
# Abstract This paper presents a fully
commercializable
framework for optimizing traffic signal timing at urban intersections with a primary focus on
pedestr
...
freederia.com
·
4d
🌊
Loop Invariant Motion
How I Built My Project in
Haskell
dev.to
·
2d
·
Discuss:
DEV
🌱
Minimal Languages
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
1d
·
Discuss:
DEV
🌙
Lua
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
🌐
WASM Runtimes
My 'Move Fast'
Stack
for 2026
david.coffee
·
5d
🔄
Bootstrapping
Hello Edge: Keyword
Spotting
on
Microcontrollers
paperium.net
·
3d
·
Discuss:
DEV
🔌
Microcontrollers
Interfaces
vs
Inheritance
(or, watch out for Go!)
artima.com
·
2d
🔗
Go Generics
Gathering
Scattered
I/O in C++
artima.com
·
2d
💾
Zero-Copy
One Year of Using Go
rugu.dev
·
4d
·
Discuss:
Hacker News
🤖
Embedded Go
Examining
Turbopuffer
ANN v3
terencezl.github.io
·
4d
·
Discuss:
Hacker News
⚡
Tokenizer Optimization
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
5d
·
Discuss:
Hacker News
📋
Souffle Datalog
feldera/feldera
: The
Feldera
Incremental
Computation Engine
github.com
·
3d
🚂
Cranelift IR
When cost models hit the wall
clock
futhark-lang.org
·
6d
🔄
Tail Call Analysis
Waterloo
Style
theprogrammersparadox.blogspot.com
·
3d
·
Discuss:
Hacker News
🔬
Nanopasses
Turning Coding
Tasks
into Feedback
Loops
feipeng.substack.com
·
5d
·
Discuss:
Substack
💬
Interactive REPLs
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
5d
🚂
Error Propagation
Loading...
Loading more...
« Page 10
•
Page 12 »
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