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
ποΈ Cranelift
Code Generator, WASM Compiler, JIT Backend, Compiler IR
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
75991
posts in
446.1
ms
I had two projects solving the same problem. I
merged
them and published to
npm
in a day
dev.to
Β·
12h
Β·
Discuss:
DEV
π³
Git
Cross
compiling
made easy, using
Clang
and LLVM
mcilloni.ovh
Β·
8h
π¨
LLVM
Hoot
: Scheme on
WebAssembly
spritely.institute
Β·
20h
Β·
Discuss:
Hacker News
πΈοΈ
WebAssembly
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
Β·
1d
π
TLA+
Production pain points and coordination patterns from building a
dual-orchestrator
(Claude + Kimi) system on Claude Code. 8 failure modes with specs and
invariants
.
gist.github.com
Β·
9h
Β·
Discuss:
Hacker News
π
Maelstrom
feldera/feldera
: The
Feldera
Incremental
Computation Engine
github.com
Β·
22h
π
Salsa
How
StrongDM
βs AI team build
serious
software without even looking at the code
simonw.substack.com
Β·
15h
Β·
Discuss:
Substack
π
MLOps
The Claude Automation Plugin
Ecosystem
: A Complete Guide to Building Your AI-Powered
Workforce
pub.towardsai.net
Β·
1d
π
Program Synthesis
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
Β·
16h
π±
Nom
Wasure
: A Modular Toolkit for Comprehensive
WebAssembly
Benchmarking
arxiv.org
Β·
2d
πΈοΈ
WebAssembly
The Fall of
YAMLScript
!
yamlscript.org
Β·
1d
β‘
Ruff
Performance
Tip
of the Week #79: Make at most one
tradeoff
at a time
abseil.io
Β·
10h
π§©
mimalloc
I hold a different opinion regarding the self-built
compilation
backend
ziggit.dev
Β·
1h
π
Profile-Guided Optimization
Portable
C
Compiler
en.wikipedia.org
Β·
8h
Β·
Discuss:
Hacker News
π
Picolibc
Build a
Compiler
in Five Projects
kmicinski.com
Β·
22h
π¨
Compilers
I built a visual
drag-and-drop
studio to
automate
cybersecurity tasks (Open Source)
github.com
Β·
1d
Β·
Discuss:
r/SideProject
,
r/devops
π¦
Wasmer
Automatic
WS2812
Characterization
cpldcpu.com
Β·
9h
π―
BPF CO-RE
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
Β·
1d
Β·
Discuss:
Substack
βοΈ
JIT Compilation
Declarative
,
Reproducible
Emacs
irreal.org
Β·
16h
π¦
Rust Macros
How to Build Production-Ready
Genie
Spaces
, and Build Trust Along the Way
databricks.com
Β·
1d
ποΈ
ClickHouse MaterializedViews
Loading...
Loading more...
Page 2 »
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