Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท4d
๐Parsers
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
๐Parsers
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
๐Optimization
Flag this post
Disciplined Biconvex Programming
arxiv.orgยท14h
๐Optimization
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.orgยท14h
๐Parsers
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท5d
๐ซOCaml
Flag this post
Computation as a Game
arxiv.orgยท14h
๐ซOCaml
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.orgยท14h
๐ซOCaml
Flag this post
LangChain vs LangGraph: A Beginnerโs Guide to Building Smarter AI Workflows
hackernoon.comยท1d
๐Parsers
Flag this post
TypeScript Rewrote Itself in Go?! What That โ10x Fasterโ Hype Really Means
๐ธ๏ธWASM
Flag this post
Can-t stop till you get enough
๐ฆRust
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.orgยท14h
๐Parsers
Flag this post
Big-O Notation: Explained in 8 Minutes
blog.algomaster.ioยท16h
๐ชถsuckless
Flag this post
A Comparative Analysis of LLM Adaptation: SFT, LoRA, and ICL in Data-Scarce Scenarios
arxiv.orgยท14h
๐Parsers
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.orgยท14h
๐Parsers
Flag this post
Loading...Loading more...