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
🔒 Type Safety
Memory Safety, Rust Ownership, Linear Types, Resource Management
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23357
posts in
916.2
ms
mattermost
notes.billmill.org
·
1d
🕸️
WASM Archives
[$] Kernel
control-flow-integrity
support comes to
GCC
lwn.net
·
4d
🐚
Shell Combinators
Dada
: moves and
mutation
smallcultfollowing.com
·
1d
🦀
Rust Macros
Mini-Heap
dailynous.com
·
22h
⬜
Minimalism
Fragments
: February 9
martinfowler.com
·
1d
🗣️
Domain-Specific Languages
So we have any for
interface
{} and
nil
reddit.com
·
3d
·
Discuss:
r/golang
⚖️
Hoare Logic
Linux 7.0
VFS
Changes: Non-Blocking
Timestamps
, Standardized Generic I/O Error Reporting
phoronix.com
·
20h
🔍
eBPF
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
1d
✅
Formal Methods
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
1d
·
Discuss:
Hacker News
🧬
Functional Programming
FreeBSD
Security Advisory
FreeBSD-SA-26
:
03.blocklistd
discoverbsd.com
·
4h
🔌
Operating system internals
Revisiting
Regular
Types
abseil.io
·
3d
λ
Lambda Encodings
Quick
Comparison
of
JVM
Languages
jvmhost.com
·
1d
·
Discuss:
Hacker News
💧
Liquid Types
Practical
Refinement
Session Type Inference (
Extended
Version)
arxiv.org
·
2d
🔄
Session Type Inference
Rust in Linux:
Fixing
the
Edges
, Not the Core
dev.to
·
6d
·
Discuss:
DEV
🦀
Embedded Rust
cysqlite
- a new
sqlite
driver
charlesleifer.com
·
17h
·
Discuss:
Lobsters
,
Hacker News
💾
SQLite
Don't use
escaping
closures in
SwiftUI
rensbr.eu
·
1d
·
Discuss:
Hacker News
⬆️
Lambda Lifting
What's up with
Haskell
's do
notation
?
slightknack.dev
·
1d
🧬
Functional Programming
Standardizing
HLSL
devblogs.microsoft.com
·
20h
·
Discuss:
Lobsters
,
Hacker News
🖥️
Terminal Renaissance
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
·
1d
🌐
WASI
SecureShellClaw
: A Prompt-Injection-Resistant Alternative Approach to
OpenClaw
jona.ca
·
2d
·
Discuss:
Hacker News
🛡️
CLI Security
Loading...
Loading more...
« Page 2
•
Page 4 »
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