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
23700
posts in
464.2
ms
Unlocking
the Power of Python
Generators
: A Comprehensive Guide
dev.to
·
4d
·
Discuss:
DEV
⚙️
Parser Generators
Go Made Me Fast. Rust Made Me Care.
AWS
Made Me Pay.
dev.to
·
5d
·
Discuss:
DEV
❄️
Nix Adoption
Relational Programming in
miniKanren
: Techniques, Applications, and
Implementations
(2009)
scholarworks.iu.edu
·
3d
·
Discuss:
Lobsters
📝
Concrete Syntax
Docker versus
Nix
: The quest for true
reproducibility
thenewstack.io
·
5d
·
Discuss:
r/NixOS
❄️
Nix Flakes
Beyond
Permissions
: An
Empirical
Static Analysis of Privacy and Security Risks in Children-Oriented and General-Audience Mobile Apps for Gaming
arxiv.org
·
13h
🛡
Cybersecurity
Protecting
Context and Prompts:
Deterministic
Security for
Non-Deterministic
AI
arxiv.org
·
13h
🔒
Language-based security
Jim
Roskind
on C
Ambiguity
pdos.csail.mit.edu
·
6d
·
Discuss:
Hacker News
🔍
Z3 Parsing
CCC
(Claude's C Compiler) on Compiler
Explorer
godbolt.org
·
4d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
5d
·
Discuss:
Hacker News
,
r/rust
⚙️
Parser Generators
SecretSpec
0.7:
Declarative
Secret Generation
devenv.sh
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/NixOS
,
r/programming
🦠
Parasitic Archives
Sandboxing
Systemd
Services
ejaaskel.dev
·
4d
·
Discuss:
Hacker News
🛡️
CLI Security
Heterogeneous
Processing: A Strategy for
Augmenting
Moore's Law (2006)
linuxjournal.com
·
4d
·
Discuss:
Hacker News
🖥️
Hardware Architecture
What Your Claude Code Agents Don't Need to Be
Told
helderberto.com
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
KVM:
x86/PVM
: Introduce a new
hypervisor
(2024)
lwn.net
·
3d
·
Discuss:
Hacker News
🕸️
WASM Archives
Claude's C
Compiler
vs.
GCC
harshanu.space
·
4d
·
Discuss:
Lobsters
,
Hacker News
🏗️
Compiler Archaeology
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
💧
Liquid Types
A live view of
OpenClaw
instances
brought to you by the STRIKE Research Team
declawed.io
·
2d
·
Discuss:
Hacker News
🎯
Threat Hunting
[
AINews
] "Sci-Fi with a touch of
Madness
"
latent.space
·
2d
·
Discuss:
Hacker News
🖥️
Terminal Renaissance
Rise of the
Cowboy
Coder
jollycoder.com
·
2d
·
Discuss:
Hacker News
📏
Code Metrics
From Prediction to
Compilation
: A Manifesto for
Intrinsically
Reliable AI
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
⚖️
Hoare Logic
Loading...
Loading more...
« Page 13
•
Page 15 »
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