2.0.0 Update Release: Updated to Python 3
ludowoods.itch.io·18h
📝Rope Editors
Printf Style Debugging Of Elisp
irreal.org·47m
📚Self-Documenting Code
Seeking advice on a licensing gray area: "Derivative work" or not?
news.ycombinator.com·6h·
Discuss: Hacker News
🌉Language Bridges
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·23h·
Discuss: Lobsters, Hacker News, r/programming
📦Compression Algorithms
The lost language extensions of MetaWare's High C Compiler
duriansoftware.com·5d
🪄C Metaprogramming
Why We Chose Godot .NET to Build The Goddess's Will
reddit.com·1d·
Discuss: r/godot
🎭Racket Modules
I created a free android language learning app for Spanish
reddit.com·22h·
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·11h
🚂Error Propagation
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·11h
📏Linear Logic
P2P: A Poison-to-Poison Remedy for Reliable Backdoor Defense in LLMs
arxiv.org·11h
🎲Parser Fuzzing
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·11h
🔄Subinterpreters
Supervising an AI Engineer: Lessons from 212 Sessions
dev.to·4h·
Discuss: DEV
🎭Program Synthesis
SwiReasoning: Switch-Thinking in Latent and Explicit for Pareto-Superior Reasoning LLMs
arxiv.org·11h
🔍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·11h
✨Gleam
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·2d·
Discuss: DEV
🧮Theorem Provers