🧩 mimalloc

Memory Allocators, Performance Optimization, Microsoft Research, Arena Allocation

Spider-Man: The Movie Game dissection project Checkpoint - November 2025
krystalgamer.github.io·5d·
Discuss: r/programming
📊Profiling Tools
Flag this post
Mojo: MLIR-Based Performance-Portable HPC Science Kernels on GPUs for the Python Ecosystem
arxiv.org·4d·
Discuss: Lobsters
📊Profile-Guided Optimization
Flag this post
How I use an LLM to write and execute TypeScript "just-in-time" in my app
pscanf.com·3d·
Discuss: r/programming, r/typescript
🦙Ollama
Flag this post
Build better software to build software better
slack.engineering·5d·
Discuss: Hacker News
📦uv
Flag this post
Instant Parameter Selection for Modular Systems (b, p, t, r)
news.ycombinator.com·3d·
Discuss: Hacker News
📐TLA+
Flag this post
No More Embeddings, Just Gemini File Search to Get Higher Accuracy
pub.towardsai.net·12h
🔍RAG
Flag this post
GPT-5.1 Prompting Guide
cookbook.openai.com·2d·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
ParaRNN [from Apple Research]
github.com·2d·
Discuss: Hacker News
🔥PyTorch
Flag this post
Write Code 5× Faster with These AI Techniques
pub.towardsai.net·8h
🎭Program Synthesis
Flag this post
Can Playwright vs Selenium Cut CI Time?
dev.to·19h·
Discuss: DEV
📊Performance Tools
Flag this post
Unlocking Deep Learning's True Potential: The Polyhedral Optimization Edge by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
📱Edge AI
Flag this post
Beyond ChatGPT: 5 Under-the-Radar AI Tools Revolutionizing Your Daily Productivity
dev.to·1d·
Discuss: DEV
💬Prompt Engineering
Flag this post
Show HN: Zingle – an AI code reviewer for data teams (SQL/dbt/Airflow/Spark)
news.ycombinator.com·1d·
Discuss: Hacker News
💰TigerBeetle
Flag this post
🔥 LLM Interview Series(5): Self-supervised Learning and Next-token Prediction
dev.to·9h·
Discuss: DEV
💬Prompt Engineering
Flag this post
Unlocking True Concurrency in Python 3.13: Mastering Free-Threaded Mode for High-Performance Applications
dev.to·4d·
Discuss: DEV
🔄Concurrency
Flag this post
Show HN: LeanSpec - Built in 10 days using the specs it defines
github.com·4d·
Discuss: Hacker News
📊Performance Tools
Flag this post
Rusty-R2: Open source AI you can actually train yourself on consumer hardware
github.com·3d·
Discuss: r/LocalLLaMA
📱Edge AI
Flag this post
Your Automation Platform is Lying to You About Scale.
dev.to·1d·
Discuss: DEV
🎆Firecracker
Flag this post
Quantum-Enhanced Monte Carlo Simulation for Exotic Option Pricing & Risk Mitigation
dev.to·1d·
Discuss: DEV
⚛️Quantum Computing
Flag this post
Adaptability as the Core of Software Design
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
Flag this post