2.0.0 Update Release: Updated to Python 3
ludowoods.itch.io·23h
📝Rope Editors
Seeking advice on a licensing gray area: "Derivative work" or not?
news.ycombinator.com·11h·
Discuss: Hacker News
🌉Language Bridges
The lost language extensions of MetaWare's High C Compiler
duriansoftware.com·5d
🪄C Metaprogramming
Rust unit testing: test doubles & stubs
reddit.com·4h·
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
Working pipe operator today in pure JavaScript
github.com·3d·
Discuss: Hacker News
🌪️V8 Pipeline
Creating a Cargo-like tool for C++, requires community feedback before I start building it...
reddit.com·1d·
Discuss: r/cpp
🔗Language Toolchains
Assessment Twins: A Protocol for AI-Vulnerable Summative Assessment
arxiv.org·1d
💬Interactive REPLs
COSMIR: Chain Orchestrated Structured Memory for Iterative Reasoning over Long Context
arxiv.org·16h
🔄Subinterpreters
Supervising an AI Engineer: Lessons from 212 Sessions
dev.to·9h·
Discuss: DEV
🎭Program Synthesis
SwiReasoning: Switch-Thinking in Latent and Explicit for Pareto-Superior Reasoning LLMs
arxiv.org·16h
🔍ML Language
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·16h
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·16h·
Discuss: Hacker News
🪜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·16h
🗺️Region Inference