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
2672
posts in
153.6
ms
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🛡️
Odin
Deep dive into
Hierarchical
Navigable
Small Worlds
amandeepsp.github.io
·
1d
·
Discuss:
Hacker News
,
r/Zig
,
r/programming
🐻
Polars
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
📈
Time Series ML
"Five-Point
Haskell
": Total
Depravity
(and Defensive Typing)
blog.jle.im
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💻
Programming languages
Kadajett/blECSd
: A modern typescript rewrite of blessed, with dozens of modern features, a strict functional architecture, and bitECS as a backend for a fully composable API. Not just for games either! ;)
github.com
·
2d
·
Discuss:
Hacker News
,
r/javascript
💻
Programming languages
Waterloo
Style
theprogrammersparadox.blogspot.com
·
2d
·
Discuss:
Hacker News
🛡️
Odin
Hot Reloading in Rust?
Subsecond
and
Dioxus
to the rescue!
codethoughts.io
·
2d
·
Discuss:
Hacker News
,
r/rust
🔄
Async Rust
React
Compiler
and why class objects can work against
memoization
anita-app.com
·
3d
·
Discuss:
Hacker News
💻
Programming languages
Running
Pydantic
’s Monty Rust
sandboxed
Python subset in WebAssembly
simonwillison.net
·
2d
·
Discuss:
Hacker News
💻
Programming languages
The
silent
death of Good Code
amit.prasad.me
·
1d
·
Discuss:
Hacker News
,
r/programming
💻
Programming languages
Writing an
Async
Runtime
in Rust
michaelhelvey.dev
·
6d
·
Discuss:
Lobsters
,
Hacker News
🔄
Async Rust
Processes and Threads -
Discourse
on
Concurrency
, Part I
ayanmali.substack.com
·
3d
·
Discuss:
Substack
🔄
Async Rust
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
🛡️
Odin
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
4d
·
Discuss:
Hacker News
,
r/Compilers
⚡
SIMD Optimization
Things
Unix
can do
atomically
rcrowley.org
·
3d
·
Discuss:
Hacker News
🧠
Memory Management
Full-circle Test-driven
Firmware
Development with
OpenClaw
blog.adafruit.com
·
1d
·
Discuss:
Hacker News
🛡️
Odin
C Isn't A
Programming
Language
Anymore
faultlore.com
·
3d
·
Discuss:
Hacker News
💻
Programming languages
A Tale of Two Standards,
POSIX
and
Win32
(2005)
samba.org
·
2d
·
Discuss:
Hacker News
🌐
Distributed systems
The ‘weird’ things that happened when
Clickhouse
replaced
C++ with Rust
thenewstack.io
·
4d
·
Discuss:
Hacker News
💹
Rust Finance
How Meta turned the Linux Kernel into a planet-scale
Load
Balancer
. Part I
softwarefrontier.substack.com
·
1d
·
Discuss:
Substack
🌐
Distributed systems
Loading...
Loading more...
« Page 4
•
Page 6 »
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