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
⚡ Async Programming
Tokio, Futures, Concurrency Patterns, Event Loops
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74961
posts in
1.07
s
**Certified
Lyapunov
‑Based Stability Analysis for Autonomous Swarm Robotics using Sum‑of‑
Squares
Verification and Formal Proof Generation** **Abstract**
freederia.com
·
3d
📐
TLA+
Upa
: Unsupervised Prompt Agent Shows
Pairwise
Comparisons Drive Structured Search and Selection
quantumzeitgeist.com
·
4d
💬
Prompt Engineering
breejs/bree
: Bree is a Node.js and JavaScript job task scheduler with worker threads, cron, Date, and human syntax. Built for @
ladjs
, @forwardemail, @spamscanner, @cabinjs.
github.com
·
2d
🥖
Bun
From Sequential to Parallel:
Reformulating
Dynamic Programming as GPU Kernels for Large-Scale Stochastic
Combinatorial
Optimization
arxiv.org
·
2d
📊
Dynamic Programming
cyco130/kill-em-all
: Kill a process and all its children and
wait
for all of them to exit.
github.com
·
3d
·
Discuss:
r/node
🔄
epoll
E-Globe: Scalable $\
epsilon
$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware
Branching
arxiv.org
·
2d
📐
TLA+
Programming Language
Implementation
: In Theory, We Understand. In Practice, We
Wish
We Would.
stefan-marr.de
·
6d
🔨
Compiler Design
Functional
Programming
Bits
in Python
martynassubonis.substack.com
·
6d
·
Discuss:
Substack
,
r/programming
,
r/webdev
λ
Functional Programming
As
Rocks
May Think
evjang.com
·
5d
·
Discuss:
Hacker News
,
r/programming
📱
Edge AI
Sequential Attention: Making AI models
leaner
and faster without
sacrificing
accuracy
research.google
·
4d
·
Discuss:
Hacker News
,
r/LocalLLaMA
💬
Prompt Engineering
Mob
Together
: When AI Joins the Team
blog.flurdy.com
·
4d
·
Discuss:
Hacker News
🎭
Program Synthesis
Threads
- A context strategy for
humans
and LLMs
blog.sao.dev
·
6d
💬
Prompt Engineering
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
5d
·
Discuss:
Lobsters
,
Hacker News
🛡️
Memory Safety
Staying
engaged
with AI plans: give
inline
feedback
huonw.github.io
·
4d
·
Discuss:
Hacker News
💬
Prompt Engineering
Plan–Code–
Execute
:
Designing
Agents That Create Their Own Tools
towardsdatascience.com
·
4d
🎭
Program Synthesis
Programming
with AI, Without the
Hype
albertovarela.net
·
5d
·
Discuss:
Hacker News
💬
Prompt Engineering
AI Isn't
Optional
Anymore
nlopes.dev
·
4d
·
Discuss:
Hacker News
💬
Prompt Engineering
When AI
writes
almost all code, what
happens
to software engineering?
newsletter.pragmaticengineer.com
·
3d
🎭
Program Synthesis
My AI
Adoption
Journey
mitchellh.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/LocalLLaMA
💬
Prompt Engineering
Deep Dive Into Observability With
OpenTelemetry
: A Hands-On
Codelab
youtube.com
·
4d
🔭
OpenTelemetry
Loading...
Loading more...
« Page 12
•
Page 14 »
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