ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·13h
💻Programming languages
Flag this post
My First Rust Project
binwang.me·1d
🦀Rust Macros
Flag this post
Opportunistic Mutation in Roc
📏Code Metrics
Flag this post
[$] Fil-C: A memory-safe C implementation
lwn.net·1d
🦀Rust Borrowing
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
✨Effect Handlers
Flag this post
Fixing Type Hints for Callable Objects with Custom Signatures in Dagster
🦀Rust Verification
Flag this post
Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.edu·21h
📐Error Bounds
Flag this post
Making asm.js/WebAssembly compilation more parallel in Firefox
bouvier.cc·1d
🏗️Compiler Archaeology
Flag this post
Wednesday 26 November - 11am
informatics.ed.ac.uk·1d
🎵Audio ML
Flag this post
A bestiary of single-file programming language implementations
🔗Concatenative Programming
Flag this post
Discovering Heuristics with Large Language Models (LLMs) for Mixed-Integer Programs: Single-Machine Scheduling
arxiv.org·13h
🧮SMT Solvers
Flag this post
Recent Rust Changes
🦀Rust Borrowing
Flag this post
59 Patches Allow Finally Building Glibc With LLVM's Clang Compiler
phoronix.com·1d
🏭Compiler Backends
Flag this post
HigherOrderCO/Bend2
github.com·3d
💻Programming languages
Flag this post
Loading...Loading more...