Oops, My UUIDs Collided
🎯GADT
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.com·7h
⏱️Computational Complexity
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
🔀Brzozowski Derivatives
Flag this post
GHC 9.14.1-rc1 is now available
🏗️Dune
Flag this post
AI researchers ’embodied’ an LLM into a robot – and it started channeling Robin Williams
techcrunch.com·7h
🩹Self-Healing Systems
Flag this post
Vectorizing for Fun and Performance
🏹Effect Systems
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
🤖Program Synthesis
Flag this post
CAD-3D on the Atari ST
💾Retro Computing
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
🧠Automated Reasoning
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
🏃Escape Analysis
Flag this post
zFLoRA: Zero-Latency Fused Low-Rank Adapters
arxiv.org·1d
🧮Z3 Solver
Flag this post
A hitchhiker's guide to CUDA programming
🔀OCaml Multicore
Flag this post
Loading...Loading more...