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
9056
posts in
69.5
ms
OpenAI’s new
Codex
Spark
model is built for speed
thenewstack.io
·
7h
🔧
Unikernel Development
Hidden
Licensing
Risks in the
LLMware
Ecosystem
arxiv.org
·
20h
🛡️
seL4
Go -
Unit
&
Integration
Testing
linkedin.com
·
1d
·
Discuss:
r/programming
🧪
Property-Based Testing
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
1d
·
Discuss:
Lobsters
🐫
Embedded OCaml
SimuScene
: Training and Benchmarking Code Generation to
Simulate
Physical Scenarios
arxiv.org
·
20h
🔲
Cellular Automata
[Paper] How does information access affect LLM
monitors
' ability to detect
sabotage
?
lesswrong.com
·
1d
📊
Runtime Verification
Claude
Opus
4.6
Escalates
Things Quickly
lesswrong.com
·
1d
🔬
Unikernels
A
self-hosted
,
collaborative
database client
dbpro.app
·
7h
·
Discuss:
Hacker News
🖥
Self-Hosting
Getting Started with
Sapphire
Edge+ and AMD
Embedded
+
hackster.io
·
2d
·
Discuss:
Hacker News
💻
QEMU
Vercel-like
development setup for Django using
Caddy
mliezun.com
·
4h
·
Discuss:
Hacker News
💻
CLI Tools
Rv 0.5: Windows support, rv run,
rvx
spinel.coop
·
6h
·
Discuss:
Hacker News
🔬
Unikernels
An
async
HTTP server in ~80 lines of modern C++ (
coroutines
)
vixcpp.com
·
17h
·
Discuss:
Hacker News
🌐
Network Protocols
Workledger
– An offline first engineering
notebook
about.workledger.org
·
7h
·
Discuss:
Lobsters
,
Hacker News
🔧
Unikernel Development
Creating
massively
huge fake files and
binaries
fzakaria.com
·
1d
·
Discuss:
Hacker News
🍎
Mach-O Format
CCBench
: How do agents perform on
codebases
that aren't part of training data?
ccbench.org
·
3h
·
Discuss:
Hacker News
🔍
CBMC
I am breaking my head in Analyzing Container
Filesystem
Isolation For
Multi-Tenant
Workloads, so…
medium.com
·
1d
·
Discuss:
Hacker News
📦
Namespaces
The
PaaS
Graveyard
: Why Platforms Keep Dying and Developers Keep Migrating
blog.cloud66.com
·
3h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Demoing
the AI computer that doesn't yet
exist
ruperts.world
·
4h
·
Discuss:
Hacker News
🔲
Cellular Automata
Memsearch
,an agent memory with md as source of truth(inspired by
OpenClaw
)
zilliztech.github.io
·
22h
·
Discuss:
Hacker News
🔧
Unikernel Development
Show HN: Solving
Sudoku
reasoning via Energy
Geometric
models
davisgeometric.com
·
16h
·
Discuss:
Hacker News
🧮
SMT Solvers
Loading...
Loading more...
« Page 1
•
Page 3 »
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