ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·18h
💻Programming languages
Flag this post
My First Rust Project
binwang.me·1d
🦀Rust Macros
Flag this post
GHC: From Bug to Merge
🔤Type Theory
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
HigherOrderCO/Bend2
github.com·3d
💻Programming languages
Flag this post
A bestiary of single-file programming language implementations
🔗Concatenative Programming
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·1d
📐Error Bounds
Flag this post
Making asm.js/WebAssembly compilation more parallel in Firefox
bouvier.cc·2d
🏗️Compiler Archaeology
Flag this post
Wednesday 26 November - 11am
informatics.ed.ac.uk·1d
🎵Audio ML
Flag this post
Discovering Heuristics with Large Language Models (LLMs) for Mixed-Integer Programs: Single-Machine Scheduling
arxiv.org·18h
🧮SMT Solvers
Flag this post
Recent Rust Changes
🦀Rust Borrowing
Flag this post
Loading...Loading more...