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
9484
posts in
99.6
ms
Loading...
Subscribe
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
How to Fake a
Robotics
Result
itcanthink.substack.com
·
1d
·
Discuss:
Substack
🤖
Robotics
Redux Integration in
Exei
:
Architecting
Scalable State for a Multi Tenant Platform
future.forem.com
·
2d
·
Discuss:
DEV
🧱
Immutable Infrastructure
I Built a Free AI Social Media Manager
dev.to
·
9h
·
Discuss:
DEV
🌐
ActivityPub
Monorepo
vs
Microservices
: The Knowledge Management Perspective
dev.to
·
14h
·
Discuss:
DEV
🔧
Microservices
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
MCP Transport: Architecture,
Boundaries
, and Failure
Modes
pgedge.com
·
3d
·
Discuss:
Hacker News
💬
Mach Messages
Can AI Rely on the
Systematicity
of Truth? The Challenge of Modelling
Normative
Domains
link.springer.com
·
2d
·
Discuss:
Hacker News
🔢
Philosophy of Mathematics
Agentic
Coding and the Problem of
Oracles
epkconsulting.substack.com
·
1d
·
Discuss:
r/programming
📐
Hoare Logic
Evaluating Large Language Models on Solved and
Unsolved
Problems in Graph Theory:
Implications
for Computing Education
arxiv.org
·
2d
🎯
Complexity Classes
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
5d
·
Discuss:
Lobsters
,
Hacker News
🏃
Escape Analysis
MentorCollab
:
Selective
Large-to-Small Inference-Time Guidance for Efficient Reasoning
arxiv.org
·
2d
🧩
Separation Logic
Software Engineering
Transformation
2026
mfranc.com
·
23h
·
Discuss:
Hacker News
🔧
DevOps
Using AI for Code
Reviews
: What Works, What Doesn’t, and Why
entelligence.ai
·
16h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Running
Pydantic
’s Monty Rust
sandboxed
Python subset in WebAssembly
simonwillison.net
·
2d
·
Discuss:
Hacker News
🏗️
Dune
"Five-Point
Haskell
": Total
Depravity
(and Defensive Typing)
blog.jle.im
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🎯
GADT
How do you resolve
CVEs
in containers
efficiently
?
reddit.com
·
17h
·
Discuss:
r/kubernetes
🐳
Containerization
HTTP
1.1 server from
scratch
reddit.com
·
1d
·
Discuss:
r/golang
🌐
Network Protocols
Turning Coding
Tasks
into Feedback
Loops
feipeng.substack.com
·
3d
·
Discuss:
Substack
🤖
Program Synthesis
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