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
📏 Linear Types
Resource Management, Ownership, Affine Types, Memory Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81215
posts in
1.05
s
A
Unified
Framework for LLM
Watermarks
arxiv.org
·
1d
λ
Lambda Calculus
RustCompCert
: A Verified and Verifying Compiler for a Sequential
Subset
of Rust
arxiv.org
·
14h
🔒
Rust Borrowing
Chromosome-level genome assembly of the social amoeba
Heterostelium
pallidum
nature.com
·
4h
🗺️
Region Polymorphism
Creeping
memory
allocation
community.folivora.ai
·
2d
📊
Memory Profilers
isledb
: An
embedded
key-value engine built on object storage in Go
reddit.com
·
2d
·
Discuss:
r/golang
🐹
Go Internals
Machine learning reveals hidden
landscape
of
robust
information storage
phys.org
·
4h
🧠
Memory Models
Back to the
basics
with the
Roadhouse
Pattern
rosesecurity.dev
·
1d
·
Discuss:
r/golang
🔧
API Design
ESLint -
Pluggable
JavaScript
Linter
eslint.org
·
1d
·
Discuss:
r/javascript
🌊
Gradual Effects
llOOPy
lOOPs (Dave
Jarvis
)
dave.autonoma.ca
·
4d
🤐
Zipper Structures
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
·
2d
·
Discuss:
Hacker News
📚
Self-Documenting Code
What AI Security Research Looks Like When It Works
aisle.com
·
8h
🎯
Symbolic Execution
Safe Yolo Mode: Running LLM Agents in VMs with
Libvirt
and
Virsh
metachris.dev
·
19h
🛡️
Capability VMs
Claude
Opus
4.6: System Card Part 1:
Mundane
Alignment and Model Welfare
lesswrong.com
·
21h
🎮
Language Ergonomics
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
·
21h
🌐
WASM Runtimes
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
1d
·
Discuss:
Hacker News
🔧
haskell
6 tiny programs I use to
solve
annoying
problems
xda-developers.com
·
1d
📦
Executable Size
Efficiency
and Performance
dev.to
·
3d
·
Discuss:
DEV
⚡
Performance
What Should Go Into the C++
Standard
Library
abseil.io
·
2d
🧸
Toy Compilers
Formal
Methods
Practice and Theory
adacore.com
·
4h
·
Discuss:
Hacker News
🎯
Symbolic Execution
lean-phys-community/PhysLean
: A project to
digitalise
results from physics into Lean.
github.com
·
10h
·
Discuss:
Hacker News
🔄
Nanopass
Loading...
Loading more...
« Page 8
•
Page 10 »
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