Cyclic Proofs for iGL via Corecursion
arxiv.org·4h
🧮Functional Programming
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
🧮Functional Programming
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·20h
🧮Functional Programming
Flag this post
Readable Code Is Unreadable
🧮Functional Programming
Flag this post
Building Custom Components in Langflow 🛠️
⚔Roguelike
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·13h
🧮Functional Programming
Flag this post
Low-Level Hacks
🧮Functional Programming
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.com·16h
🔲Cellular Automata
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
🧮Functional Programming
Flag this post
Taming the Billion Dollar Mistake: Maarten Balliauw’s Guide to C# Nullable Reference Types
blog.jetbrains.com·19h
🧮Functional Programming
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
🧮Functional Programming
Flag this post
Loading...Loading more...