2.0.0 Update Release: Updated to Python 3
ludowoods.itch.ioยท1d
๐Ÿ“Rope Editors
Seeking advice on a licensing gray area: "Derivative work" or not?
news.ycombinator.comยท13hยท
Discuss: Hacker News
๐ŸŒ‰Language Bridges
The lost language extensions of MetaWare's High C Compiler
duriansoftware.comยท5d
๐Ÿช„C Metaprogramming
AI Slop and Whatever
whatever.scalzi.comยท6h
๐ŸŽญProgram Synthesis
Rust unit testing: test doubles & stubs
reddit.comยท6hยท
Discuss: r/rust
๐ŸŽฒTest Generators
I created a free android language learning app for Spanish
reddit.comยท1dยท
๐ŸŒฑTiny Languages
Title: Simplifying Code Execution on Multiple Integer Variables
dev.toยท4dยท
Discuss: DEV
๐ŸŽญDelimited Continuations
Creating a Cargo-like tool for C++, requires community feedback before I start building it...
reddit.comยท1dยท
Discuss: r/cpp
๐Ÿ”—Language Toolchains
Understanding the KV Cache (feat. Self-Attention)
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Subinterpreters
ObCLIP: Oblivious CLoud-Device Hybrid Image Generation with Privacy Preservation
arxiv.orgยท18h
โœจGleam
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.toยท2dยท
Discuss: DEV
๐ŸงฎTheorem Provers
Tired of AI Hallucinations? I Built a RAG App to Keep My Research Grounded.
github.comยท4dยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
Less is More: Recursive Reasoning with Tiny Networks
arxiv.orgยท18hยท
๐ŸชœRecursive Descent
Mixture of Experts Implementation using Granite4: Harnessing Specialization with the Latest Granite Family Model
dev.toยท2dยท
Discuss: DEV
๐Ÿ”ML Language
Front-Loading Reasoning: The Synergy between Pretraining and Post-Training Data
arxiv.orgยท18h
๐Ÿ—บ๏ธRegion Inference
Characteristic Learning for Provable One Step Generation
arxiv.orgยท18h
๐ŸชœRecursive Descent
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.orgยท18h
โœจGleam
Google's AI can now surf the web for you, click on buttons, and fill out forms with Gemini 2.5 Computer Use
venturebeat.comยท23m
๐Ÿ’ฌSmalltalk VMs
Thin Bridges for Drug Text Alignment: Lightweight Contrastive Learning for Target Specific Drug Retrieval
arxiv.orgยท18h
โœจEffect Inference