Error ABI
🏠Local-first
Flag this post
I wrote a short post on the importance of taking the literal perspective on writing scalable code. Code that itself scales over time. Check it out and let me kn...
🦀Rust
Flag this post
I don't love Rust (either)
🦀Rust
Flag this post
Exceptions in Cranelift and Wasmtime
🏠Local-first
Flag this post
Modern perspectives in proof theory (2023)
🤖LLM
Flag this post
Evaluating LLMs' Reasoning Over Ordered Procedural Steps
arxiv.org·3h
🤖LLM
Flag this post
An integrated framework for reliability analysis and design optimization using input, simulation, and experimental data: Confidence-based design optimization un...
sciencedirect.com·1d
🤖LLM
Flag this post
Deployment Confidence in Era of AI Coding
🏠Local-first
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
🤖LLM
Flag this post
Giving C a Superpower: custom header file (safe_c.h)
hwisnu.bearblog.dev·16h
🏠Local-first
Flag this post
Slicing your work with BDD or another aspect of speed increase with small Pull Requests.
🦀Rust
Flag this post
Condensation
lesswrong.com·13h
🤖LLM
Flag this post
Loading...Loading more...