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, Type Theory, Memory Safety, Rust Ownership
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2696
posts in
89.0
ms
Code only says what it does
brooker.co.za
·
1d
·
Discuss:
Hacker News
💻
Programming languages
On The
Crank
Spectrum
exple.tive.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
💹
Rust Finance
On the Promises of '
High-Assurance
'
Cryptography
symbolic.software
·
4d
·
Discuss:
Lobsters
,
Hacker News
💹
Rust Finance
I am
happier
writing code by
hand
abhinavomprakash.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🛡️
Odin
Issues with AI:
Toxic
Dependencies
blog.mathieui.net
·
3d
·
Discuss:
Hacker News
🛡️
Odin
Using
Microvm.nix
to Sandbox
OpenClaw
buduroiu.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
💹
Rust Finance
The
Null
Pointer
Crisis: Running God-Mode Software on Legacy Hardware
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
🛡️
Odin
Building a battle tested C
compiler
in a new language using
Codex
moonbitlang.com
·
3d
·
Discuss:
Hacker News
🛡️
Odin
LFortran
Compiles
Lapack
lfortran.org
·
3d
·
Discuss:
Hacker News
💻
Programming languages
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
·
3d
·
Discuss:
Substack
🛡️
Odin
How
StrongDM
’s AI team build
serious
software without even looking at the code
simonwillison.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🛡️
Odin
Making
Pyrefly
Diagnostics
18x Faster
pyrefly.org
·
3d
·
Discuss:
Hacker News
🔥
DataFusion
Forcing
Rust: How Big Tech
Lobbied
the Government into a Language Mandate
medium.com
·
5d
·
Discuss:
Hacker News
💹
Rust Finance
The Last of the
JavaScript
Frameworks
dbpro.app
·
4d
·
Discuss:
Hacker News
💻
Programming languages
ML-LIB
: Machine Learning Library Proposed For The Linux Kernel
phoronix.com
·
3d
·
Discuss:
Hacker News
📈
Time Series ML
Buildlog
: My personal cloud
arne.me
·
2d
·
Discuss:
Hacker News
💾
Storage Engines
The
Sandbox
Explosion
daax.dev
·
3d
·
Discuss:
Hacker News
🌐
Distributed systems
Zlob.h
100% POSIX and glibc compatible
globbing
lib that is faste and better
github.com
·
2d
·
Discuss:
Hacker News
,
r/Zig
,
r/rust
🏹
Apache Arrow
Adaptive
Hashing
: Faster Hash Functions with Fewer
Collisions
arxiv.org
·
3d
·
Discuss:
Hacker News
💾
Storage Engines
Building "zero-gap"
secrets
for a
UGC
platform
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔐
Security Patterns
Loading...
Loading more...
« Page 6
•
Page 8 »
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