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
bugzmanov's Feed
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
83191
posts in
525.1
ms
Loading...
Subscribe
Automatic
WS2812
Characterization
cpldcpu.com
·
2h
📐
formal specification
AI Search Engine Performance Analysis Tools
open.forem.com
·
11h
·
Discuss:
DEV
🤖
AI
MicroBlaze
MCS Seven-Segment Counter on
Basys
3 FPGA
hackster.io
·
10h
🔍
Refinement Types
Building
PokéAgents
: When AI Agents
Paint
Together (Part 2)
blog.jyotiska.in
·
1d
🤖
AI
Scientists reveal the alien logic of AI:
hyper-rational
but
stumped
by simple concepts
psypost.org
·
4h
🤖
AI
AI
Document
Processing with
Docling
Java and Spring Boot
thomasvitale.com
·
1d
🔎
Semantic Analysis
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
The
beginning
of a new era in Rust
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
·
1d
·
Discuss:
Substack
🔍
Symbolic Execution
Automatic
Programming
Returns
cyber-omelette.com
·
23h
·
Discuss:
Hacker News
,
r/programming
🔍
Symbolic Execution
Prompt injection in Google
Translate
reveals base model
behaviors
behind task-specific fine-tuning
lesswrong.com
·
12h
·
Discuss:
Hacker News
🤖
AI
a
proposal
for AI that's on your side
r.github.io
·
1d
·
Discuss:
Hacker News
🤖
AI
How to
effectively
write
quality code with AI
heidenstedt.org
·
1d
·
Discuss:
Hacker News
📐
formal specification
Opus
4.6 + 13 AI Agents =
Autopilot
for Claude Code
dev.to
·
2d
·
Discuss:
DEV
🤖
AI
Implementing
Automated Rules-Based
Evaluations
for LLM Applications
dev.to
·
2d
·
Discuss:
DEV
📐
formal specification
Clean
Coder
: The Dark Path (2017)
blog.cleancoder.com
·
3d
·
Discuss:
Hacker News
🔍
Static Analysis
jiweiyeah/Skills-Manager
: A high-performance desktop application for managing skills across multiple AI coding assistants. Seamlessly organize, sync, and share skills for Claude Code、Codex、Opencode and other AI tools. Built with
Tauri
2.0, React 19, and Rust.
github.com
·
20h
·
Discuss:
DEV
🤖
AI
I built an "
OpenClaw
" in pure Go — 12MB binary, 20MB RAM, runs on a $5
VPS
reddit.com
·
7h
·
Discuss:
r/golang
🤖
AI
On the
Reachability
Problem for One-Dimensional Thin
Grammar
Vector Addition Systems
arxiv.org
·
1d
🔧
PLT
cjaube/OpenEdgeUtilities
: A repository of OpenEdge utilities.
github.com
·
23h
🔍
Refinement Types
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