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
8627
posts in
140.3
ms
Loading...
Subscribe
wareya/pred
_
recdec
: Predicated LL (recursive descent) parser in pure rust
github.com
·
10h
·
Discuss:
Hacker News
🧩
Parser Combinators
Microsoft On
QEMU
10.2's New
MSHV
Accelerator For Hyper-V Guests
phoronix.com
·
20h
💻
QEMU
KVM:
x86/PVM
: Introduce a new
hypervisor
(2024)
lwn.net
·
7h
·
Discuss:
Hacker News
🖥️
KVM
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
3d
🧩
Separation Logic
Docker versus
Nix
: The quest for true
reproducibility
thenewstack.io
·
1d
❄️
Nix Flakes
Upgrading
An Old Macbook With an Old
Processor
hackaday.com
·
23h
💾
Retro Computing
The
Optima-l
Situation: A deep dive into the classic
humanist
sans-serif
micahblachman.beehiiv.com
·
1d
·
Discuss:
Hacker News
🔤
Typography
How to Reduce
Telemetry
Volume by 40%
Smartly
newsletter.signoz.io
·
22h
·
Discuss:
r/programming
👁️
Observability
Show HN:
EdgeAI-OS
–
Air-gapped
Linux distro where AI is a system primitive
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
🔬
Unikernels
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
2d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
How I Built My Project in
Haskell
dev.to
·
1d
·
Discuss:
DEV
📝
Nix Language
eBPF
Gives You
Packets
. Here's How We Turn Them Into Security Insights
akashmandal001.substack.com
·
33m
·
Discuss:
Substack
🌐
NetworkProtocols
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
Chasing a Zig
AVR
Segfault
Down to LLVM
sourcery.zone
·
1d
·
Discuss:
r/Zig
🐫
Embedded OCaml
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
2d
·
Discuss:
Hacker News
📦
Module Systems
Heterogeneous
Processing: A Strategy for
Augmenting
Moore's Law (2006)
linuxjournal.com
·
18h
·
Discuss:
Hacker News
🔀
OCaml Multicore
A Kubernetes-native way to manage
kubeconfigs
and
RBAC
(no IdP)
reddit.com
·
1d
·
Discuss:
r/kubernetes
⎈
Kubernetes
I
Bought
an iPhone 17
bboy.app
·
4h
·
Discuss:
Hacker News
🍎
Apple
Show HN:
Klint
– Linux Kernel Security
Scanner
saturnine.cc
·
2h
·
Discuss:
Hacker News
🔧
Unikernel Development
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
1d
·
Discuss:
Hacker News
⚙️
Compiler Design
Oatmeal
-
Constraint
propagation for fun
eli.li
·
1d
·
Discuss:
Lobsters
,
Hacker News
🧮
SMT Solvers
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