Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·20h
λFunctional Programming
Flag this post
LeMiCa: Lexicographic Minimax Path Caching for Efficient Diffusion-Based Video Generation
arxiv.org·1d
🎬WebCodecs
Flag this post
The Paradox of a Principled Machine
🎭Program Synthesis
Flag this post
Voxel Grid Visibility
📐Computational Geometry
Flag this post
Crushing ML Latency: The (Un)Official Best Practices for Systems Optimisation
pub.towardsai.net·11h
🚀Performance
Flag this post
Capacity Review: The AI Workflow Engine That Understands Vibe Coding (2025)
🎭Program Synthesis
Flag this post
Deflanderization for Game Dialogue: Balancing Character Authenticity with TaskExecution in LLM-based NPCs
📖Interactive Fiction
Flag this post
The AI development trap that wastes your time
🤖Automation
Flag this post
Designing Data-Intensive Applications [Book Review]-The Big Ideas Behind Reliable, Scalable and Maintainable Systems
🏗️System Design
Flag this post
Optimizing Multi-UAV 3D Deployment for Energy-Efficient Sensing over Uneven Terrains
arxiv.org·11h
📐Computational Geometry
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·1d
💬Prompt Engineering
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·11h
🧮SMT Solvers
Flag this post
4 Rules for Successful Vibe Coding
🎭Program Synthesis
Flag this post
AI-Driven Microfluidic Design Optimization via Hyperdimensional Feature Mapping & Reinforcement Learning
💬Prompt Engineering
Flag this post
Loading...Loading more...