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
9383
posts in
220.7
ms
Loading...
Subscribe
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
4d
🔬
Static Analysis
The Missing
Layer
Above AI Inference
Governance
vibe.forem.com
·
23h
·
Discuss:
DEV
🧠
Automated Reasoning
Re-Identification
vs
Anonymization
Strength
testingbranch.com
·
1d
·
Discuss:
Hacker News
🛡️
Privacy Engineering
Logic
Puzzles
: Why the
Liar
Is the Helpful One
blog.szczepan.org
·
2d
·
Discuss:
Hacker News
🧮
Z3
Running
Lua
on a tiny
handheld
from 2001
ivie.codes
·
1d
·
Discuss:
Hacker News
💾
Retro Computing
Mdserve
1.0:
Markdown
Preview for Coding Agents
jrfernandez.com
·
12h
·
Discuss:
Hacker News
🔤
Language Design
A Remarkable
Achievement
(Old
Fashioned
Software)
mcauldronism.substack.com
·
2h
·
Discuss:
Substack
,
r/LLM
💾
Retro Computing
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
I Built a Free AI Social Media Manager
dev.to
·
14h
·
Discuss:
DEV
🌐
ActivityPub
Show HN: We
audited
AI agent
configs
on GitHub. Every one had security issues
clawhatch.com
·
1d
·
Discuss:
Hacker News
❄️
NixOS
Monorepo
vs
Microservices
: The Knowledge Management Perspective
dev.to
·
19h
·
Discuss:
DEV
🔧
Microservices
Pydantic
Performance: 4 Tips on How to Validate Large
Amounts
of Data Efficiently
towardsdatascience.com
·
2d
🎯
GADT
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
Mechanized
Undecidability
of Higher-order beta-Matching (Extended Version)
arxiv.org
·
5d
🧮
Lambda Calculus
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
5d
·
Discuss:
Lobsters
,
Hacker News
🏃
Escape Analysis
Sixteen
Claude AI agents working together created a new C
compiler
arstechnica.com
·
2d
·
Discuss:
r/programming
,
r/technews
🤖
Program Synthesis
Evaluating Large Language Models on Solved and
Unsolved
Problems in Graph Theory:
Implications
for Computing Education
arxiv.org
·
2d
🎯
Complexity Classes
Show HN:
A2A
Protocol
– Infrastructure for an Agent-to-Agent Economy
news.ycombinator.com
·
20h
·
Discuss:
Hacker News
🌊
Coalgebra
Running
Pydantic
’s Monty Rust
sandboxed
Python subset in WebAssembly
simonwillison.net
·
2d
·
Discuss:
Hacker News
🏗️
Dune
C Isn't A
Programming
Language
Anymore
faultlore.com
·
3d
·
Discuss:
Hacker News
⚙️
Compiler Design
Loading...
Loading more...
« Page 14
•
Page 16 »
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