2.0.0 Update Release: Updated to Python 3
ludowoods.itch.io·20h
📝Rope Editors
The lost language extensions of MetaWare's High C Compiler
duriansoftware.com·5d
🪄C Metaprogramming
Thinking about building an open-source multi-business form & marketing system — feedback or collaborators welcome
reddit.com·6h·
Discuss: r/opensource
🎮Language Ergonomics
AI Slop and Whatever
whatever.scalzi.com·1h
🎭Program Synthesis
Rust unit testing: test doubles & stubs
reddit.com·1h·
Discuss: r/rust
🎲Test Generators
I created a free android language learning app for Spanish
reddit.com·1d·
Discuss: r/SpanishLearning
🌱Tiny Languages
Title: Simplifying Code Execution on Multiple Integer Variables
dev.to·4d·
Discuss: DEV
🎭Delimited Continuations
Learning to Capture Rocks using an Excavator: A Reinforcement Learning Approach with Guiding Reward Formulation
arxiv.org·14h
🚂Error Propagation
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·14h
📏Linear Logic
Creating a Cargo-like tool for C++, requires community feedback before I start building it...
reddit.com·1d·
Discuss: r/cpp
🔗Language Toolchains
P2P: A Poison-to-Poison Remedy for Reliable Backdoor Defense in LLMs
arxiv.org·14h
🎲Parser Fuzzing
Working pipe operator today in pure JavaScript
github.com·3d·
Discuss: Hacker News
🌪️V8 Pipeline
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·14h
🔄Subinterpreters
Supervising an AI Engineer: Lessons from 212 Sessions
dev.to·7h·
Discuss: DEV
🎭Program Synthesis
SwiReasoning: Switch-Thinking in Latent and Explicit for Pareto-Superior Reasoning LLMs
arxiv.org·14h
🔍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·14h
✨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