Feeds to Scour
SubscribedAll
Scoured 254498 posts in 4.21 s
A Validated Semantics for LLVM IR
sf.snu.ac.kr·14h
🏗️MLIR
Preview
Report Post
Any useful resources for improving the quality of the vscode projects?
addyo.substack.com·8h·
Discuss: r/vscode
💬Prompt Engineering
Preview
Report Post
GNU Mes and the module system
ekaitz.elenq.tech·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Preview
Report Post
Rust Macros: Declarative vs Procedural
dev.to·8h·
Discuss: DEV
🦀Rust Macros
Preview
Report Post
jart/jtckdint: C23 Checked Arithmetic
github.com·1d
🔬Valgrind Tools
Preview
Report Post
I got tired of writing bad code repeatedly, so I learned Rust to do it only once and made a concurrent processing library
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Preview
Report Post
<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...
freederia.com·16h
🌀Naiad
Preview
Report Post
TOON for LLMs: A Comparative Performance Analysis against JSON
gist.github.com·10h·
Discuss: DEV
🦙Ollama
Preview
Report Post
Resolving Names Once and for All
thunderseethe.dev·1d·
Discuss: r/programming
🦀Rust Macros
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·7h
💎Refinement Types
Preview
Report Post
eliben/pykaleidoscope: Implementation of the LLVM tutorial in Python using llvmlite
github.com·10m
🔨LLVM
Preview
Report Post
Meeting Seed7
genodians.org·1d
🦀Rust Macros
Preview
Report Post
ECP-Solutions/ASF: The first embeddable scripting language and runtime that turns VBA into a script host (with NO COM dependencies) , with C-like syntax, closures, FFI for VBA calls, and the powerfull VBA-Expressions math integration.
github.com·8h·
Discuss: Hacker News
🏭Code Generation
Preview
Report Post
Why is calling my asm function from Rust slower than calling it from C?
ohadravid.github.io·11h·
Discuss: Lobsters, Hacker News
🔎Valgrind
Preview
Report Post
Favorite Compiler and Interpreter Resources
eatonphil.com·2d·
Discuss: Hacker News
🔨Compiler Design
Preview
Report Post
Software Architecture with C++: Designing robust C++ systems with modern architectural practices, Edition 2 by Andrey Gavrilin, Adrian Ostrowski, Piotr Gaczkowski
play.google.com·2d·
Discuss: r/cpp
🔨Incremental Compilation
Preview
Report Post
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.com·1d·
Discuss: r/LLM
🔍Datalog Engines
Preview
Report Post
Google Looks To Upstream Its Propeller Tool To LLVM For More Performance
phoronix.com·2d
🔨LLVM
Preview
Report Post
Cheney on the M.T.A.
plover.com·2d
📚Stack Unwinding
Preview
Report Post
The production bug that made me care about undefined behavior
gaultier.github.io·16h·
Discuss: Hacker News, r/programming
🔬Miri
Preview
Report Post