Feeds to Scour
SubscribedAll
Scoured 26640 posts in 21.9 ms
jMT: Testing Correctness of Java Memory Models (Extended Version)  ⚡SMT Integration
arxiv.org·5d
Your CPU Has More Registers Than You'd Think  ⚡CPU Microarchitecture
fp32.org·2d·Lobsters
dlarfx.f (3) Linux Manual Page  🦀Rust Macros
systutorials.com·3d
dogmaticdev/SIMD-Tokenizer: A Hyper Optimzed Tokenizer written in handwritten assembly. Made for SSE2 cpu architectures.  🚀SIMD Text Processing
github.com·7h·Hacker News
How to Make a Fast Dynamic Language Interpreter  🐚Bash Combinators
zef-lang.dev·4d·Lobsters, Hacker News, r/programming
Giving RISC-V 1024 registers for zkVMs  🧩RISC-V Assembly
leonardoalt.github.io·5d·Hacker News
Inko 0.20.0: reducing heap allocations by 50%  🔒Type Safety
inko-lang.org·3d·Hacker News
Spinel: Ruby AOT Native Compiler  🦀Rust Macros
github.com·1d·Lobsters, Hacker News
When Code Guarantees Are Checked  📏Code Metrics
jerf.org·5d
LLM StructCore: Schema-Guided Reasoning Condensation and Deterministic Compilation  🔗Functional Compilers
arxiv.org·2d
Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware  🌊Stream Ciphers
arxiv.org·2d
Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation  🧩WASM Components
arxiv.org·1d
Adding Compilation Metadata To Binaries To Make Disassembly Decidable  🔓Decompilation
arxiv.org·3d·Hacker News
Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs  🎯Performance Proofs
arxiv.org·3d
HELIX: Verified compilation of cyber-physical control systems to LLVM IR  ⚖️RISC-V Formal
arxiv.org·3d
Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging  🔧Hardware Verification
arxiv.org·3d
Layer-wise MoE Routing Locality under Shared-Prefix Code Generation: Token-Identity Decomposition and Compile-Equivalent Fork Redundancy  📼Cassette Combinators
arxiv.org·4d
LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation  🏗️Compiler Archaeology
arxiv.org·5d
Copy-as-Decode: Grammar-Constrained Parallel Prefill for LLM Editing  🚀SIMD Text Processing
arxiv.org·4d
Shift schema drift left: policy-aware compile-time contracts for typed JVM and Spark pipelines  🦀Rust Borrowing
arxiv.org·4d

No more posts from matmat's subscribed feeds.

Scour all 24374 feedsLearn more about Feeds

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help