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
8680
posts in
392.0
ms
Loading...
Subscribe
Digital
Twins
For Software Systems
Simulating
Production Before Release
techyall.com
·
1d
·
Discuss:
r/programming
🔄
Reproducible Builds
Tmux
to
Zellij
(and Back)
mauriciopoppe.com
·
1d
·
Discuss:
Hacker News
💬
Mach Messages
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
The
Importance
of Physical Touch for
Proving
You're Human
bengoldhaber.substack.com
·
7h
·
Discuss:
Substack
🔒
Protocol Verification
Fluorite
Game Engine
fluorite.game
·
9h
·
Discuss:
Hacker News
🔲
Cellular Automata
Soft
Delete
Is a
Workaround
docs.eventsourcingdb.io
·
9h
·
Discuss:
Hacker News
📝
Nix Language
Oddly
Simple
GUI
Programs
simonsafar.com
·
1d
·
Discuss:
Hacker News
💻
CLI Tools
Show HN: Model Training Memory
Simulator
czheo.github.io
·
20h
·
Discuss:
Hacker News
📚
Automata Learning
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
📊
Runtime Verification
Project Management Built for Engineering Teams
velocity.quest
·
1d
·
Discuss:
Hacker News
🔧
DevOps
Last Generation of
Coder
medium.com
·
14h
·
Discuss:
Hacker News
🔤
DSLs
A Neuro Symbolic Architecture For Induced
Epistemic
Agency and System 2 Reasoning in
Quantized
Large Language Models
papers.ssrn.com
·
3d
·
Discuss:
Hacker News
📚
Automata Learning
I built a
cryptographic
memory layer for humans in Python tags: python,
opensource
, security, blockchain
dev.to
·
1d
·
Discuss:
DEV
🛡️
macOS Security
🚀 Day 4 of #
100DaysOfDevOps
: Python Regular
Expressions
with Practical Examples
dev.to
·
4d
·
Discuss:
DEV
🔤
Regular Expressions
GoodluckH/hibernate
: Permanently store what makes you who you are for reconstruction
github.com
·
10h
·
Discuss:
Hacker News
📵
Digital Minimalism
Seedance
2.0 preview: The best video model of 2026,
outperforming
Sora 2
news.ycombinator.com
·
4h
·
Discuss:
Hacker News
💻
QEMU
Show HN:
ZigZag
– A Bubble Tea-Inspired
TUI
Framework for Zig
github.com
·
2d
·
Discuss:
Hacker News
🧮
Z3
Time-Complexity Characterization of
NIST
Lightweight
Cryptography
Finalists
arxiv.org
·
3d
⏱️
Computational Complexity
Building the Future with AI That
Acts
devxt.com
·
1d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Mechanized
Undecidability
of Higher-order beta-Matching (Extended Version)
arxiv.org
·
6d
🧮
Lambda Calculus
CentOS
is coming to
RISC-V
soon if you have the kit
theregister.com
·
3d
·
Discuss:
Hacker News
🔬
Unikernels
Loading...
Loading more...
« Page 13
•
Page 15 »
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