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
9483
posts in
221.9
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
·
18h
·
Discuss:
DEV
🧠
Automated Reasoning
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
Re-Identification
vs
Anonymization
Strength
testingbranch.com
·
23h
·
Discuss:
Hacker News
🛡️
Privacy Engineering
Functional
Programming
Bits
in Python
martynassubonis.substack.com
·
6d
·
Discuss:
Substack
,
r/programming
,
r/webdev
λ
Functional Programming
Logic
Puzzles
: Why the
Liar
Is the Helpful One
blog.szczepan.org
·
1d
·
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
·
7h
·
Discuss:
Hacker News
🔤
Language Design
I Built a Free AI Social Media Manager
dev.to
·
8h
·
Discuss:
DEV
🌐
ActivityPub
🚀 Day 4 of #
100DaysOfDevOps
: Python Regular
Expressions
with Practical Examples
dev.to
·
4d
·
Discuss:
DEV
🔤
Regular Expressions
Show HN: We
audited
AI agent
configs
on GitHub. Every one had security issues
clawhatch.com
·
23h
·
Discuss:
Hacker News
❄️
NixOS
Pydantic
Performance: 4 Tips on How to Validate Large
Amounts
of Data Efficiently
towardsdatascience.com
·
2d
🎯
GADT
OpenClaw
Is
Changing
My Life
reorx.com
·
21h
·
Discuss:
Hacker News
🔧
DevOps
Time-Complexity Characterization of
NIST
Lightweight
Cryptography
Finalists
arxiv.org
·
2d
⏱️
Computational Complexity
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
·
1d
·
Discuss:
r/programming
,
r/technews
🤖
Program Synthesis
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
3d
·
Discuss:
Hacker News
🧩
Parser Combinators
C Isn't A
Programming
Language
Anymore
faultlore.com
·
2d
·
Discuss:
Hacker News
⚙️
Compiler Design
Exploiting signed
bootloaders
to
circumvent
UEFI Secure Boot
habr.com
·
8h
·
Discuss:
Lobsters
,
Hacker News
💻
QEMU
Using AI for Code
Reviews
: What Works, What Doesn’t, and Why
entelligence.ai
·
15h
·
Discuss:
Hacker News
🔄
Reproducible Builds
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