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
tiferrei's Feed
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
7652
posts in
117.1
ms
Loading...
Subscribe
Toward
Faithful
and Complete Answer Construction from a Single
Document
arxiv.org
·
1d
✓
Automated Theorem Proving
Evaluating and Enhancing the
Vulnerability
Reasoning
Capabilities
of Large Language Models
arxiv.org
·
1d
🛡️
seL4
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
Roadmap
2026 (2026-02-04)
webpack.js.org
·
12h
·
Discuss:
r/javascript
,
r/programming
🐳
Containerization
Show HN:
Elysia
JIT
"Compiler", why it's one of the fastest JavaScript framework
elysiajs.com
·
1d
·
Discuss:
Hacker News
,
r/javascript
,
r/node
🏃
Escape Analysis
Autobiolocation
autobiolocation.is
·
1d
·
Discuss:
Hacker News
🔲
Cellular Automata
Show HN: Have I Been
Clawned
– 72-check security audit for
OpenClaw
agents
haveibeenclawned.com
·
20h
·
Discuss:
Hacker News
🛡️
macOS Security
Expectation
and
Copysets
buttondown.com
·
14h
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Buildlog
: My personal cloud
arne.me
·
3d
·
Discuss:
Hacker News
🏠
HomeLab
Show HN: A framework that makes your AI coding agent learn from every
session
github.com
·
1h
·
Discuss:
Hacker News
🛡️
seL4
Someone's attacking
SolarWinds
WHD
to steal high‑privilege credentials - but we don't know who or how
theregister.com
·
11h
·
Discuss:
Hacker News
🛡️
macOS Security
Spec-driven
development doesn't work if you're too confused to write the
spec
-
deontologician
publish.obsidian.md
·
3h
·
Discuss:
Hacker News
,
r/programming
💎
Refinement Types
AI Wrote My Project, an
Nginx
Engineer
Rebuilt
the Architecture
news.ycombinator.com
·
6h
·
Discuss:
Hacker News
🔧
DevOps
Jacob
Boxerman
- Declarative,
Reproducible
Emacs with straight.el and use-package
jakebox.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
❄️
NixOS
The
Joy
of
Programming
deanclatworthy.com
·
18h
·
Discuss:
Hacker News
🤖
Program Synthesis
How Meta turned the Linux Kernel into a planet-scale
Load
Balancer
. Part I
softwarefrontier.substack.com
·
2d
·
Discuss:
Substack
⚙️
Operating System Design
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Linux 7.0 Officially
Concluding
The Rust
Experiment
phoronix.com
·
22h
·
Discuss:
Hacker News
,
r/linux
🏗️
Dune
Learnings
from Creating a
GUI
Library
blog.s-schoener.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔄
Finite State Machines
Latest
VirtualBox
Code Begins Supporting
KVM
Backend
phoronix.com
·
3d
·
Discuss:
Hacker News
,
r/linux
🖥️
KVM
Designing
MCP tool
schemas
that LLMs understand
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🛡️
seL4
Loading...
Loading more...
« Page 8
•
Page 10 »
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