Cyclic Proofs for iGL via Corecursion
arxiv.org·33m
🔓Lock-Free Programming
Flag this post
Prog8
🦀Rust Macros
Flag this post
How to turn a Markdown file into a website
howtogeek.com·1d
🦀Rust Macros
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.com·13h
🦀Rust Macros
Flag this post
Hacking the Color BASIC PRINT command – part 7
subethasoftware.com·10h
🦀Rust Macros
Flag this post
Eglot, Ruby LSP and StandardRB
katafrakt.me·1d
🦀Rust Macros
Flag this post
Code execution with MCP: Building more efficient agents
simonwillison.net·5h
🦀Rust Macros
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·1d
⚡Performance Engineering
Flag this post
From Zero to AI Agent: How I Built Codexa in 24 Hours with Mastra and Telex.im
🦀Rust Macros
Flag this post
Playing Around with ARM Assembly
🦀Rust Macros
Flag this post
Loading...Loading more...