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
2674
posts in
72.6
ms
microsoft/litebox
: A security-focused library OS
supporting
kernel- and user-mode execution
github.com
·
2d
·
Discuss:
Hacker News
,
r/programming
,
r/rust
🛡️
Odin
mkincl/mkincl
: A simple way to reuse
Makefiles
and scripts across multiple repositories
github.com
·
3d
·
Discuss:
Hacker News
💻
Programming languages
LLMs versus the
Halting
Problem: Revisiting Program
Termination
Prediction
orensultan.com
·
6d
·
Discuss:
Hacker News
📐
Formal Methods
Landlord
: a
tenancy
controller and experiment in AI driven product building
leebriggs.co.uk
·
3d
·
Discuss:
Hacker News
🌐
Distributed systems
Managed
hosting for
OpenClaw
AI agents
lobsterlair.xyz
·
3d
·
Discuss:
Hacker News
🌐
Distributed systems
Don’t Mess with the
Netty
Threads
luizhespanha.substack.com
·
6d
·
Discuss:
Substack
📮
Message Queues
Text classification with Python 3.14's
zstd
module • Max
Halford
maxhalford.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
📈
Time Series ML
Tactical
tornado
is the new default
olano.dev
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
💹
Rust Finance
Writing an LLM from scratch, part
32b
-- Interventions: gradient
clipping
gilesthomas.com
·
4d
·
Discuss:
Hacker News
🎲
Bayesian Methods
First
Proof
arxiv.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🧩
Constraint Solving
On
craft
and AI
slightknack.dev
·
4d
·
Discuss:
Lobsters
,
Hacker News
🛡️
Odin
Native UI
toolkit
Slint
1.15 released 🎉
slint.dev
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/embedded
,
r/programming
,
r/rust
💻
Programming languages
Lessons from
securing
AI systems at runtime (agents,
MCPs
, LLMs)
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🌐
Distributed systems
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
3d
·
Discuss:
Hacker News
🐻
Polars
The tech
stack
I've been
refining
for 6 years
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🛠️
Developer Experience
Evolution
of the
x86
context switch in Linux (2018)
maizure.org
·
5d
·
Discuss:
Hacker News
💻
Programming languages
Software Architecture and
Philosophical
Anthropology
michaelmangialardi.substack.com
·
3d
·
Discuss:
Substack
🏗️
Domain-Driven Design
Of achieving
responsive
code
formatting
on web
mostlyobvio.us
·
4d
·
Discuss:
Hacker News
💻
Programming languages
Safe,
Sandboxed
Linux VM for
OpenClaw
and AI Agents
agentvm.deepclause.ai
·
3d
·
Discuss:
Hacker News
🛡️
Odin
The Trigger in the
Haystack
: Extracting and
Reconstructing
LLM Backdoor Triggers
arxiv.org
·
5d
·
Discuss:
Hacker News
🔀
CQRS
Loading...
Loading more...
« Page 7
•
Page 9 »
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