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
73237
posts in
517.6
ms
Linux Command Line and Shell Scripting
Bible
, 5th Ed (
Wiley
)
i-programmer.info
·
23h
⌨️
CLI Development
Why
YS
Chose
Clojure
yamlscript.org
·
3d
🔵
Clojure
Declarative
,
Reproducible
Emacs
irreal.org
·
3d
🦀
Rust Macros
**Abstract:** This paper introduces a novel system for automated solution synthesis and
validation
in competitive programming,
specifically
targeting graph-b...
freederia.com
·
6d
🎭
Program Synthesis
Now
problems
vs.
forever
problems
webdirections.org
·
17h
🎭
Program Synthesis
InfiCoEvalChain
: A Blockchain-Based
Decentralized
Framework for Collaborative LLM Evaluation
arxiv.org
·
11h
📦
Folly
Rethinking Scientific Modeling: Toward Physically Consistent and
Simulation-Executable
Programmatic
Generation
arxiv.org
·
11h
🎭
Program Synthesis
SecureShellClaw
: A Prompt-Injection-Resistant Alternative Approach to
OpenClaw
jona.ca
·
1d
·
Discuss:
Hacker News
🔀
Crossbeam
Closing
the
Loop
on /insights
blog.gorewood.games
·
1d
🔧
Read Repair
Relay
Lang –
Async
first programming language
harrisonerd.com
·
17h
·
Discuss:
Hacker News
⚡
FastAPI
Trying to look at how something's built, and run into another one of these
blasted
scripts
.
intigin.com
·
1d
·
Discuss:
r/javascript
🦅
Falco
Migrational
Thinking
productengineered.com
·
1d
·
Discuss:
Hacker News
🌊
SeaORM Migrations
Jacob
Boxerman
- Declarative,
Reproducible
Emacs with straight.el and use-package
jakebox.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
📦
uv
Data Modeling for the Agentic Era:
Semantics
, Speed, and
Stewardship
rilldata.com
·
1d
·
Discuss:
Hacker News
⚓
Anchors
KVM:
x86/PVM
: Introduce a new
hypervisor
(2024)
lwn.net
·
1d
·
Discuss:
Hacker News
💻
KVM
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
·
1d
·
Discuss:
Hacker News
,
r/golang
🔵
Go
Full-circle Test-driven
Firmware
Development with
OpenClaw
blog.adafruit.com
·
3d
·
Discuss:
Hacker News
🧪
Jepsen Testing
Why
Spec-Driven
Development
Breaks
at Scale (and How to Fix It)
arcturus-labs.com
·
18h
·
Discuss:
Hacker News
🎭
Program Synthesis
ValentinoPalomba/FRTMProxy
: Open source alternative to Proxyman and Charles
github.com
·
1d
·
Discuss:
Hacker News
🔍
eBPF
Loading...
Loading more...
« Page 15
•
Page 17 »
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