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
8130
posts in
83.7
ms
Breaking the
Tractability
Barrier: A Generic Low-Level Solver for
NP-Hard
Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org
·
2h
·
Discuss:
Hacker News
🧮
Z3 Solver
The big FOSS vendors don't eat their own
dogfood
– they pay for proprietary
groupware
theregister.com
·
1d
·
Discuss:
Hacker News
🔬
Unikernels
update
README.md
format and
clarify
state of the project
github.com
·
4h
·
Discuss:
Hacker News
📦
Opam
Bluefin
Linux:
ChromeOS
simplicity meets Linux power
thenewstack.io
·
1d
🔧
Unikernel Development
Architecting
Trust: A Framework for Secure IoT Systems Through Trusted Execution and Semantic
Middleware
arxiv.org
·
1d
🛡️
seL4
A
Conceptual
Framework for Exploration
Hacking
lesswrong.com
·
20h
🐫
OCaml
The
12-Factor
App - 15 Years later. Does it Still Hold Up in 2026?
lukasniessen.medium.com
·
1d
·
Discuss:
r/node
,
r/programming
🧱
Immutable Infrastructure
The
Fourth
Wave
of Computing
lucibrowser.com
·
2h
·
Discuss:
Hacker News
🐫
Embedded OCaml
Technical "
whitepaper
" for
afl-fuzz
lcamtuf.coredump.cx
·
21h
·
Discuss:
Lobsters
🔧
Unikernel Development
Hardware Co-Design Scaling Laws via
Roofline
Modelling
for On-Device LLMs
arxiv.org
·
1d
🔀
OCaml Multicore
My Business as Code
blog.42futures.com
·
1h
·
Discuss:
r/programming
🌐
ActivityPub
Thanks for All the
Frames
: Rust GUI
Observations
tritium.legal
·
21h
·
Discuss:
Hacker News
,
r/programming
,
r/rust
🔧
Unikernel Development
Collective
Agents and Where to Find Them
lesswrong.com
·
1h
🔲
Cellular Automata
srv1n/kurpod
:
Kurpod
is an encrypted file storage system with plausible deniability features. It's self-hosted, open source.
github.com
·
1h
·
Discuss:
Hacker News
⎈
Kubernetes
AI agent
sandboxing
in 2026: how to choose between primitives,
runtimes
, and platforms
manveerc.substack.com
·
1d
·
Discuss:
Substack
⚙️
Operating System Design
Breaking the
Tractability
Barrier: A Generic Low-Level Solver for
NP-Hard
Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org
·
6h
·
Discuss:
r/programming
🧮
SMT Solvers
XFS
Introducing Autonomous
Self-Healing
Capabilities With Linux 7.0
phoronix.com
·
12h
·
Discuss:
Hacker News
📦
Namespaces
20 Years of
Varnish
: A Cloud-Native Distribution (In-Core TLS,
K8s
Gateway API)
info.varnish-software.com
·
1d
·
Discuss:
Hacker News
🐳
Containerization
Scripting on the
JVM
with Java,
Scala
, and Kotlin
mill-build.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚙️
PL Implementation
Lessons
from
Zig
vinniefalco.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Loading...
Loading more...
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