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
74054
posts in
1.08
s
Linux Command Line and Shell Scripting
Bible
, 5th Ed (
Wiley
)
i-programmer.info
·
1d
⌨️
CLI Development
🦆 Lance x
DuckDB
SQL Retrieval, 🚗 Uber-Scale Storage, ⚡ 1.5M
IOPS
lancedb.com
·
1d
🎯
Lance
**Abstract:** This paper introduces a novel framework for automated verification of deformations applied to Hilbert
polytopes
, a crucial step in
understandin
...
freederia.com
·
4d
📐
Computational Geometry
Safe Yolo Mode: Running LLM Agents in VMs with
Libvirt
and
Virsh
metachris.dev
·
19h
🎆
Firecracker
Now
problems
vs.
forever
problems
webdirections.org
·
19h
🎭
Program Synthesis
Strengthening
the Foundation: A Joint Security Review of Intel
TDX
1.5
bughunters.google.com
·
19h
🔐
SGX Enclaves
GNU Binutils 2.46 Adds Support for AMD
Zen6
CPUs,
SFrame
v3, and More
9to5linux.com
·
1d
🔗
Mold Linker
★ Claude Code: /
insights
perrotta.dev
·
2d
🦀
Rayon
Closing
the
Loop
on /insights
blog.gorewood.games
·
1d
🔧
Read Repair
Relay
Lang –
Async
first programming language
harrisonerd.com
·
19h
·
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
You can (and should) run a
tiny
LLM on your Android phone
makeuseof.com
·
1d
🦙
Ollama
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
1d
·
Discuss:
Hacker News
👻
Phantom Types
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
marzhall/BBL
: A couple of tools for
OpenEdge
ABL
github.com
·
3d
🎯
Lance
Why
Spec-Driven
Development
Breaks
at Scale (and How to Fix It)
arcturus-labs.com
·
21h
·
Discuss:
Hacker News
🎭
Program Synthesis
project-copacetic/copacetic
: 🧵 CLI tool for directly
patching
container images!
github.com
·
1d
🔧
Abseil
Monty
: A minimal, secure Python
interpreter
written in Rust for use by AI
dev.to
·
2d
·
Discuss:
DEV
🦀
Rust
Agents That Build Agents — Building
Autonomous
Browsing
with Claude Code
dev.to
·
9h
·
Discuss:
DEV
🎭
Program Synthesis
Loading...
Loading more...
« Page 16
•
Page 18 »
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