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
83068
posts in
939.1
ms
Loading...
Subscribe
Rethinking Time in
Computation
– From Wall
Clocks
to State Transitions
d1gesto.blogspot.com
·
13h
·
Discuss:
Hacker News
🔄
Concurrency Models
PanelBench
: We
evaluated
Cursor's Visual Editor on 89 test cases. 43 fail
tryinspector.com
·
4h
·
Discuss:
Hacker News
🔍
Static Analysis
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
OSTEP
Chapters
6,7
muratbuffalo.blogspot.com
·
1d
·
Discuss:
Blogger
🔍
Refinement Types
(50)
Set-Roster
vs Set-Builder
notation
youtube.com
·
2h
🔎
Semantic Analysis
🧑🚀 AI Jobs Debate, NVIDIA Deal
Wobbles
, & Claude
Opus
4.6
forwardfuture.ai
·
19h
🤖
AI
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔍
Static Analysis
The reporter who tried to replace
herself
with a
bot
platformer.news
·
1d
🤖
AI
Symbolic Model Checking using
Intervals
of
Vectors
arxiv.org
·
3d
🔍
Symbolic Execution
On
Computation
and
Reinforcement
Learning
arxiv.org
·
1d
🔄
Concurrency Models
MatPy
– Pure Python linear algebra library with ODE
solvers
github.com
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
Add
Persistent
Memory to Claude Code with
Mem0
(5-Minute Setup)
dev.to
·
11h
·
Discuss:
DEV
💻
Claude
Beyond the
Chatbox
: Engineering Your Prompts with the
Trinity
Framework
dev.to
·
2h
·
Discuss:
DEV
🔍
Symbolic Execution
Context
Engineering for Coding Agents
martinfowler.com
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
Climber
Capital Sells $3.5 Million of First Trust Global Tactical
Commodity
Strategy ETF
finance.yahoo.com
·
6h
💰
Fidelity
LlamaLib
: A cross-platform C++/C# library for local LLMs based on
llama.cpp
github.com
·
14h
·
Discuss:
Hacker News
🪜
Scala
Introducing
OpenAI
Frontier
openai.com
·
1d
·
Discuss:
Hacker News
🤖
AI
The
Spec
Problem, Part 1: When Tools
Try
to Do Too Much
blog.gorewood.games
·
1d
🔍
Static Analysis
Automated Extraction and Formalization of
Presuppositions
in Philosophical Discourse via Neuro‑Symbolic Reasoning **Abstract** Presupposition—the
unstated
ba...
freederia.com
·
1d
🔎
Semantic Analysis
Building a scalable code
modernization
solution with AWS
Transform
custom
aws.amazon.com
·
8h
📐
formal specification
Going to the Library
yamlscript.org
·
2h
🪜
Scala
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