Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Compilers
🔧 Compilers
LLVM, compiler design, language design, type systems
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
114
posts in
8.3
ms
Compiling
to Object code. · laharitenneti/Kaleidoscope@f229e86
✅
Formal Verification
Content type:
Code
github.com
·
5d
5 days ago
·
DEV
Actions for Compiling to Object code. · laharitenneti/Kaleidoscope@f229e86
Static
types
and shovels (2026)
🔣
Category Theory
carefully.understood.systems
·
2d
2 days ago
·
Lobsters
,
Hacker News
Actions for Static types and shovels (2026)
Tobias Hieta: A Brief Overview of the
LLVM
Architecture [video]
⚙️
Systems Programming
Content type:
Video
youtube.com
·
1h
1 hour ago
·
Hacker News
Actions for Tobias Hieta: A Brief Overview of the LLVM Architecture [video]
YETI programming
language
λ
Lambda Calculus
mth.github.io
·
21h
21 hours ago
·
Hacker News
Actions for YETI programming language
#649, June 8th 2026
✅
Formal Verification
llvmweekly.org
·
4d
4 days ago
Actions for #649, June 8th 2026
Alpine Linux 3.24.0 released with key package updates and installer improvements
🐧
Operating Systems
alternativeto.net
·
1d
1 day ago
Actions for Alpine Linux 3.24.0 released with key package updates and installer improvements
Sub_pl: My first functionnal programming
language
using zig
✅
Formal Verification
ziggit.dev
·
11h
11 hours ago
Actions for Sub_pl: My first functionnal programming language using zig
Create Your Own Programming
Language
with Rust
⚙️
Systems Programming
createlang.rs
·
3d
3 days ago
·
Hacker News
Actions for Create Your Own Programming Language with Rust
From Fork-Join to Asynchronous Tasks: Parallelizing Tiled Cholesky Decomposition with OpenMP and HPX
⚡
Concurrency
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for From Fork-Join to Asynchronous Tasks: Parallelizing Tiled Cholesky Decomposition with OpenMP and HPX
Recent
LLVM
hash table improvements
🌲
LSM Trees
Content type:
Blog
maskray.me
·
6d
6 days ago
·
Hacker News
,
r/cpp
·
Cited by 1 article
Actions for Recent LLVM hash table improvements
generic JavaScript deobfuscator built as a
compiler
λ
Lambda Calculus
devirt.dev
·
19h
19 hours ago
·
Hacker News
Actions for generic JavaScript deobfuscator built as a compiler
LLVM/Clang
Lands Initial
Compiler
Targeting For Hygon x86 CPUs
🐧
Operating Systems
phoronix.com
·
4d
4 days ago
Actions for LLVM/Clang Lands Initial Compiler Targeting For Hygon x86 CPUs
Writing Constant-Time Rust Is Not Enough
⚙️
Systems Programming
Content type:
Blog
emavan.com
·
5d
5 days ago
·
Hacker News
Actions for Writing Constant-Time Rust Is Not Enough
The Ruby JRuby Was Built to Run
🔧
Database Engines
Content type:
Blog
intertwingly.net
·
2d
2 days ago
·
Lobsters
Actions for The Ruby JRuby Was Built to Run
📜🦀Rullst is smashing all the other frameworks!
⚙️
Backend Dev
rullst.github.io
·
15h
15 hours ago
·
DEV
Actions for 📜🦀Rullst is smashing all the other frameworks!
BOLT Security Engagement Complete!
✅
Formal Verification
ostif.org
·
4d
4 days ago
·
Cited by 1 article
Actions for BOLT Security Engagement Complete!
diffoscope: in-depth comparison of files, archives, and directories
🐧
Operating Systems
diffoscope.org
·
13h
13 hours ago
Actions for diffoscope: in-depth comparison of files, archives, and directories
Lung-SRAD: Spectral-Aware Regularized Audio DASS with Dual-Axis Patch-Mix Contrastive Learning for Respiratory Sound Classification
🎲
Procedural Generation
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Lung-SRAD: Spectral-Aware Regularized Audio DASS with Dual-Axis Patch-Mix Contrastive Learning for Respiratory Sound Classification
Extending
LLVM
's BOLT-based Binary
Analyser
to Validate Stack Variable Initialisation
✅
Formal Verification
Content type:
Blog
blog.quarkslab.com
·
4d
4 days ago
Actions for Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation
Correct workflow for stage3 and stage 4 building, testing and debugging
✅
Formal Verification
ziggit.dev
·
2d
2 days ago
Actions for Correct workflow for stage3 and stage 4 building, testing and debugging
Page 2 »
Log in to enable infinite scrolling
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
Save / unsave
s
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