How to Build Your Own Programming Language (It’s Easier Than You Think)
hackernoon.com·3d
🎭Program Synthesis
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·21h·
📦Compression Algorithms
Culture, Language, and Generative Language Models
cacm.acm.org·1d
🧠Semantic Parsing
TikTok Mobile/Web Complete Reverse Engineering
github.com·17h·
Discuss: r/programming
🛡️Parser Security
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·20h·
🌱Tiny Languages
The future of your code is no-code
pleasedontdeploy.com·1d·
Discuss: Hacker News
🎮Language Ergonomics
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·9h
📏Linear Logic
Creating a Cargo-like tool for C++, requires community feedback before I start building it...
reddit.com·21h·
Discuss: r/cpp
🔗Language Toolchains
P2P: A Poison-to-Poison Remedy for Reliable Backdoor Defense in LLMs
arxiv.org·9h
🎲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·9h
🔄Subinterpreters
Supervising an AI Engineer: Lessons from 212 Sessions
dev.to·2h·
Discuss: DEV
🎭Program Synthesis
SwiReasoning: Switch-Thinking in Latent and Explicit for Pareto-Superior Reasoning LLMs
arxiv.org·9h
🔍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·9h
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·3d·
Discuss: DEV
💬Interactive REPLs