GSoC 2025: Introducing an ABI Lowering Library
blog.llvm.org·1d
🌉Cross-Platform FFI
Flag this post
Speeding up JavaScript test time 1000x
🧪Testing Compilers
Flag this post
Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.com·1d
📖Literate Programming
Flag this post
C++ move semantics from scratch (2022)
⚡Copy Elision
Flag this post
build system tradeoffs
🔗Language Toolchains
Flag this post
Use your programming notes in Obsidian with JupyMD, the Obsidian-native Jupyter notebook editor. Execute code, train neural networks, analyse data, create plots...
🌙Lua
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
🗑️Garbage Collection
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·3h
🎭Program Synthesis
Flag this post
Scaling Coding-Agent RL to 32x H100s. 160% Improvement on Stanford's TBench
🎭Erlang OTP
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·3h
🔮Type Inference Visualization
Flag this post
ScaleCall - Agentic Tool Calling at Scale for Fintech: Challenges, Methods, and Deployment Insights
arxiv.org·3h
🎨Domain-Specific Languages
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·3h
✨Gleam
Flag this post
Neural Transparency: Mechanistic Interpretability Interfaces for Anticipating Model Behaviors for Personalized AI
arxiv.org·3h
🏰Capability Machines
Flag this post
This blew my mind 🤯
threadreaderapp.com·21h
🎭Program Synthesis
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·1d
🌱Minimal ML
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·3h
⚖️Weighted Automata
Flag this post
Cracking the Cube: How Competitive Rubik’s Cube Algorithms Inspire Modern AI and Programming
🧩Constraint Solvers
Flag this post
Loading...Loading more...