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
📦 Unikernel Systems
MirageOS, IncludeOS, Library OS, Specialized Runtimes
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9019
posts in
127.5
ms
VulReaD
: Knowledge-Graph-guided Software
Vulnerability
Reasoning and Detection
arxiv.org
·
22h
📊
Runtime Verification
PELLI
: Framework to
effectively
integrate LLMs for quality software generation
arxiv.org
·
22h
⚙️
PL Implementation
(Re)
Discovering
Natural
Laws
lesswrong.com
·
5h
🎯
Hindley-Milner
AI #155: Welcome to
Recursive
Self-Improvement
lesswrong.com
·
11h
🧮
SMT Solvers
Kiro
: DeepSeek,
MiniMax
, and Qwen now available as open weight model options
kiro.dev
·
1d
·
Discuss:
Hacker News
🔧
Unikernel Development
Rv 0.5: Windows support, rv run,
rvx
spinel.coop
·
9h
·
Discuss:
Hacker News
🔬
Unikernels
Namespace
: So You Want to Build Your Own
Datacenter
namespace.so
·
2d
·
Discuss:
Hacker News
🖥
Self-Hosting
Khronos
at 25:
Shaping
Visual Computing with Open Standards
khronos.org
·
2d
·
Discuss:
Hacker News
🔧
Unikernel Development
A
self-hosted
,
collaborative
database client
dbpro.app
·
9h
·
Discuss:
Hacker News
🖥
Self-Hosting
Erlang
Jabber/XMPP/Matrix
Server – Communication
process-one.net
·
1d
·
Discuss:
Hacker News
💬
Mach Messages
TRAMP
2.8.1 User
Manual
gnu.org
·
19h
·
Discuss:
Hacker News
💬
Mach Messages
We have
outgrown
the
Process
model
sidhion.com
·
15h
·
Discuss:
Hacker News
⚙️
Operating System Design
Rethinking
the Linux Desktop: Base OS and
AppImages
world.hey.com
·
3d
·
Discuss:
Hacker News
🔬
Unikernels
Download
Caligra
Workbench
caligra.com
·
2d
·
Discuss:
Hacker News
📚
Nixpkgs
Arch Linux Running Well On LoongArch -
Loongson
3B6000
Benchmarks
phoronix.com
·
11h
·
Discuss:
Hacker News
🔧
Unikernel Development
Pi.dev
: There are many coding agents, but this one is
mine
pi.dev
·
20h
·
Discuss:
Hacker News
💻
CLI Tools
Fast,
no-setup
sandboxes
for AI agents
paperpod.dev
·
3d
·
Discuss:
Hacker News
🐳
Containerization
Standardizing
HLSL
devblogs.microsoft.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🏗️
Dune
Ask HN:
Dumping
GitHub for
Forgejo
for a free and open source project
news.ycombinator.com
·
13h
·
Discuss:
Hacker News
⎈
Helm
Solene
'% :
Declaratively
manage containers on Linux
dataswamp.org
·
3d
·
Discuss:
Hacker News
🐳
Containerization
Sign up or log in to see more results
Sign Up
Login
« Page 2
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