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
7544
posts in
164.8
ms
Loading...
Subscribe
A open-source
database
studio
querystudio.dev
·
16h
·
Discuss:
Hacker News
🔬
Unikernels
Introducing
Virtualization
Support to
Ironclad
blog.ironclad-os.org
·
3d
·
Discuss:
Hacker News
💻
Apple Virtualization
Sleeper Shells: How Attackers Are Planting Dormant Backdoors in
Ivanti
EPMM
defusedcyber.com
·
21h
·
Discuss:
Hacker News
🛡️
seL4
Hoot
: Scheme on
WebAssembly
spritely.institute
·
2d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Why
AOSP
teams should bring up a virtual
device
emulatorfarm.com
·
3d
·
Discuss:
Hacker News
💻
QEMU
Show HN: I spent 3 years reverse-engineering a 40
yo
stock market
sim
from 1986
wallstreetraider.com
·
9h
·
Discuss:
Hacker News
💾
Retro Computing
Observations
From Using GPT-5.3 Codex and Claude
Opus
4.6
tensorlake.ai
·
22h
·
Discuss:
Hacker News
,
r/ClaudeAI
🧠
Automated Reasoning
What
Bleeds
Through
futurisold.github.io
·
1d
·
Discuss:
Hacker News
❓
Existential Types
Open Source: How Middle
Powers
Can Build
Influence
in the Age of AI
institute.global
·
1d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
John
Carmack
muses
using a long fiber line as as an L2 cache for streaming AI data — programmer imagines fiber as alternative to DRAM
tomshardware.com
·
15h
·
Discuss:
Hacker News
🔧
Unikernel Development
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
3d
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Show HN: I built a
ledger
platform for
LLM-enabled
teams to track change
trystereos.com
·
1d
·
Discuss:
Hacker News
🌐
ActivityPub
Continual
learning and the post
monolith
AI era
baseten.co
·
3d
·
Discuss:
Hacker News
📚
Automata Learning
Show HN:
Molinar
– Open-source alternative to ai.com (
AGPL-3.0
)
business.molinar.ai
·
1d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Fat
Agent(s) vs.
Solver
Market(s)
moldandyeast.substack.com
·
16h
·
Discuss:
Substack
🧠
Automated Reasoning
AI Agents are shipping code
faster
than we can test
christopherhwood.com
·
1d
·
Discuss:
Hacker News
📊
Runtime Verification
Ask HN: How do you
maintain
integrations
once they're in production?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🐳
Containerization
Monorepo
vs
Microservices
: The Knowledge Management Perspective
dev.to
·
2d
·
Discuss:
DEV
🔧
Microservices
Claude 4.6
Opus
: Advanced Reasoning or a New Monitoring
Nightmare
?
dev.to
·
2d
·
Discuss:
DEV
🧠
Automated Reasoning
BytePeaks/valiant
:
Valiant
- Open-core Change Impact Radar for DevOps & SRE teams
github.com
·
4d
·
Discuss:
Hacker News
🔧
DevOps
Loading...
Loading more...
« Page 22
•
Page 24 »
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