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
8546
posts in
161.6
ms
Loading...
Subscribe
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
4d
🔬
Static Analysis
Re-Identification
vs
Anonymization
Strength
testingbranch.com
·
1d
·
Discuss:
Hacker News
🛡️
Privacy Engineering
The
Importance
of Physical Touch for
Proving
You're Human
bengoldhaber.substack.com
·
13h
·
Discuss:
Substack
🔒
Protocol Verification
The Missing
Layer
Above AI Inference
Governance
vibe.forem.com
·
1d
·
Discuss:
DEV
🧠
Automated Reasoning
LibreOffice
blasts Microsoft for putting "commercial
interests
" over everything
neowin.net
·
1h
·
Discuss:
Hacker News
🐳
Containerization
Querying
India's
MoSPI
Data with Claude and MCP
aman.bh
·
11h
·
Discuss:
Hacker News
🔢
Algebraic Data Types
The Security
Gap
in MCP: The Hidden Risks No One Is
Talking
About
memgraph.com
·
2d
·
Discuss:
Hacker News
🛡️
seL4
Last Generation of
Coder
medium.com
·
20h
·
Discuss:
Hacker News
🔤
DSLs
A Remarkable
Achievement
(Old
Fashioned
Software)
mcauldronism.substack.com
·
10h
·
Discuss:
Substack
,
r/LLM
💾
Retro Computing
Show HN: We
audited
AI agent
configs
on GitHub. Every one had security issues
clawhatch.com
·
1d
·
Discuss:
Hacker News
❄️
NixOS
Pydantic
Performance: 4 Tips on How to Validate Large
Amounts
of Data Efficiently
towardsdatascience.com
·
2d
🎯
GADT
Monorepo
vs
Microservices
: The Knowledge Management Perspective
dev.to
·
1d
·
Discuss:
DEV
🔧
Microservices
OpenClaw
Is
Changing
My Life
reorx.com
·
1d
·
Discuss:
Hacker News
🔧
DevOps
The
silent
death of Good Code
amit.prasad.me
·
1d
·
Discuss:
Hacker News
,
r/programming
🔬
Static Analysis
Running Local LLMs as Your AI Coding
Assistant
on Apple
Silicon
dev.to
·
2d
·
Discuss:
DEV
🔌
IOKit
Sixteen
Claude AI agents working together created a new C
compiler
arstechnica.com
·
2d
·
Discuss:
r/programming
,
r/technews
🤖
Program Synthesis
"Five-Point
Haskell
": Total
Depravity
(and Defensive Typing)
blog.jle.im
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🎯
GADT
Using AI for Code
Reviews
: What Works, What Doesn’t, and Why
entelligence.ai
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
The AI
Bubble
I Live In (And You
Probably
Don’t)
thoughts.jock.pl
·
17h
·
Discuss:
Hacker News
🔲
Cellular Automata
AnasRm01/file-validator
: Lightweight security tool to detect file extension spoofing
github.com
·
11h
·
Discuss:
DEV
,
Hacker News
🔒
Protocol Verification
Loading...
Loading more...
« Page 17
•
Page 19 »
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