PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
Post-training methods for language models
developers.redhat.com·1d
💬Prompt Engineering
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·1d
🏗️Cranelift
Flag this post
Readable Code Is Unreadable
🏭Code Generation
Flag this post
Stop vibe coding your unit tests
✅Property Testing
Flag this post
Disciplined Biconvex Programming
arxiv.org·1d
📊Dynamic Programming
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
🦀Rust Macros
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·1d
🏭Code Generation
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·1d
⚡Hardware Acceleration
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
🔍Reverse Engineering
Flag this post
My first fifteen compilers (2019)
🔨Compiler Design
Flag this post
AI Progress Should Be Measured by Capability-Per-Resource, Not Scale Alone: A Framework for Gradient-Guided Resource Allocation in LLMs
arxiv.org·1d
📱Edge AI
Flag this post
'No Free Lunch: Deconstruct Efficient Attention with MiniMax M2'
lmsys.org·2d
📱Edge AI
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·12h
🧮SMT Solvers
Flag this post
Pain Points of OCaml
🦀Rust Macros
Flag this post
Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
arxiv.org·1d
📱Edge AI
Flag this post
Loading...Loading more...