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
74216
posts in
369.7
ms
Java News Roundup: GlassFish 8.0,
OpenHai
1.0, LangChain4j,
Infinispan
, Hibernate, JobRunr
infoq.com
·
3h
🔄
Flink
4
Emacs
packages that
replaced
everyday apps for me
howtogeek.com
·
13h
⌨️
Text Editors
Linting
intra-task concurrency and
FutureLock
farnoy.dev
·
4d
·
Discuss:
r/rust
🦀
Rust Async
brynary/attractor
: Full implementation of
StrongDM
Attractor specs in TypeScript
github.com
·
13h
·
Discuss:
Hacker News
🏗️
Cranelift
How
StrongDM
’s AI team build
serious
software without even looking at the code
simonw.substack.com
·
1d
·
Discuss:
Substack
🚀
MLOps
Building a Dynamic
Multilanguage
System Without
Rebuilds
kuldeepmodi.vercel.app
·
15h
·
Discuss:
DEV
🍱
Nom
InfraBuilder
: The
Deterministic
Hardware Architect
dev.to
·
22h
·
Discuss:
DEV
🔗
Intrusive Containers
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
2d
·
Discuss:
Hacker News
λ
Functional Programming
Grace
Hopper
's
Revenge
thefuriousopposites.com
·
19h
⚓
Anchors
KVM:
x86/PVM
: Introduce a new
hypervisor
(2024)
lwn.net
·
5h
·
Discuss:
Hacker News
💻
KVM
Both GCC and
Clang
generate
strange/inefficient
code
codingmarginalia.blogspot.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
🎯
Escape Analysis
Hitting
1,000
tokens
per second on a single RTX 5090
blog.alpindale.net
·
6h
·
Discuss:
Hacker News
📍
CPU Pinning
feldera/feldera
: The
Feldera
Incremental
Computation Engine
github.com
·
1d
🔄
Salsa
SecureShellClaw
: A Prompt-Injection-Resistant Alternative Approach to
OpenClaw
jona.ca
·
4h
·
Discuss:
Hacker News
🔀
Crossbeam
The
Stretto
Execution Engine for
LLM-Augmented
Data Systems
arxiv.org
·
4d
🌲
CedarDB
Differential
Logic
• 4
inquiryintoinquiry.com
·
16h
🔍
Type Inference
The Future of Software Engineering
poberezkin.com
·
10h
·
Discuss:
Hacker News
🎭
Program Synthesis
New Proposal
Explores
Machine Learning
Assistance
for Linux Kernel Behavior
linuxiac.com
·
1d
🐧
Linux
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
15h
·
Discuss:
DEV
🦀
Rust
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
18h
·
Discuss:
Hacker News
💃
Dancing Links
Loading...
Loading more...
« Page 3
•
Page 5 »
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