GSoC 2025: Introducing an ABI Lowering Library
blog.llvm.org·2d
🦀Rust
Flag this post
Thoughts on "Static Retrival Revisited"
curiouscoding.nl·1d
🦀Rust
Flag this post
Makefile vs. YAML: Modernizing verification simulation flows
edn.com·2d
🔧Tooling
Flag this post
Free Functions Don't Change Performance (Much)
🦀Rust
Flag this post
Sable and Able: A Tale of Two ASIs
lesswrong.com·10h
🦀Rust
Flag this post
DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning
arxiv.org·11h
🔧functional programming languages
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·1d
🐪ocaml
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·11h
🦀Rust
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.org·1d
🐪ocaml
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·1d
🔄Async Rust
Flag this post
Disciplined Biconvex Programming
arxiv.org·1d
🔧functional programming languages
Flag this post
Loading...Loading more...