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
🔍 KLEE
Symbolic Execution, Program Analysis, Bug Finding, LLVM-Based
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74630
posts in
691.2
ms
Linux Command Line and Shell Scripting
Bible
, 5th Ed (
Wiley
)
i-programmer.info
·
8h
⌨️
CLI Development
🦆 Lance x
DuckDB
SQL Retrieval, 🚗 Uber-Scale Storage, ⚡ 1.5M
IOPS
lancedb.com
·
1d
🎯
Lance
**Abstract:** This paper introduces a novel system for automated solution synthesis and
validation
in competitive programming,
specifically
targeting graph-b...
freederia.com
·
5d
🎭
Program Synthesis
Why
YS
Chose
Clojure
yamlscript.org
·
2d
🔵
Clojure
Declarative
,
Reproducible
Emacs
irreal.org
·
2d
🦀
Rust Macros
Now
problems
vs.
forever
problems
webdirections.org
·
2h
🎭
Program Synthesis
Some
thoughts
on LLM coding
blog.dave.tf
·
1d
💬
Prompt Engineering
Closing
the
Loop
on /insights
blog.gorewood.games
·
11h
🔧
Read Repair
Relay
Lang –
Async
first programming language
harrisonerd.com
·
2h
·
Discuss:
Hacker News
⚡
FastAPI
Using Large Language Models to Support Automation of Failure Management in CI/CD
Pipelines
: A Case Study in SAP
HANA
arxiv.org
·
21h
🛡️
Error Handling
SVRepair
:
Structured
Visual Reasoning for Automated Program Repair
arxiv.org
·
21h
💡
Photon
Migrational
Thinking
productengineered.com
·
9h
·
Discuss:
Hacker News
🌊
SeaORM Migrations
Learnings
from Creating a
GUI
Library
blog.s-schoener.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🧊
Iced
Understanding the Go
Runtime
: The
Bootstrap
internals-for-interns.com
·
19h
·
Discuss:
Hacker News
,
r/golang
🔵
Go
Jacob
Boxerman
- Declarative,
Reproducible
Emacs with straight.el and use-package
jakebox.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
📦
uv
How
StrongDM
’s AI team build
serious
software without even looking at the code
simonw.substack.com
·
1d
·
Discuss:
Substack
🚀
MLOps
Grumpy
Julio
plays with CLI coding agents
blogsystem5.substack.com
·
8h
·
Discuss:
Substack
🎭
Program Synthesis
AI for
PHP
Developers. Practical Use of
TransformersPHP
dev.to
·
4h
·
Discuss:
DEV
🔄
Salsa
Data Modeling for the Agentic Era:
Semantics
, Speed, and
Stewardship
rilldata.com
·
9h
·
Discuss:
Hacker News
⚓
Anchors
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
21h
·
Discuss:
Hacker News
📦
uv
Loading...
Loading more...
« Page 9
•
Page 11 »
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