🔍 KLEE

Symbolic Execution, Program Analysis, Bug Finding, LLVM-Based

The Silent Void
talisman.org·17h·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
Show HN: KV Marketplace – share LLM attention caches across GPUs like memcached
github.com·1d·
Discuss: DEV, Hacker News
🎨WGPU
Flag this post
Automated Dynamic Resource Provisioning via Reinforcement Learning & Predictive Analytics in AWS EC2
dev.to·3h·
Discuss: DEV
📱Edge AI
Flag this post
Show HN: SQL++ – 5x faster than Prisma (Rust)
github.com·1d·
Discuss: Hacker News
🔥DataFusion
Flag this post
Carmack on inlined code and functional programming
cbarrete.com·3d·
Discuss: Hacker News
🧩mimalloc
Flag this post
Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.org·2d
🔓Lock-Free Programming
Flag this post
Rippling's Gunicorn pre-fork journey – Rippling
rippling.com·6h·
Discuss: Hacker News
🎆Firecracker
Flag this post
Cursor's Composer Model Surprised Me
sawyerhood.com·2h·
Discuss: Hacker News
🚀Performance
Flag this post
Template Interpreters
zackoverflow.dev·1d·
Discuss: Lobsters, Hacker News
🔨Compiler Design
Flag this post
Loom: Universal AI Runtime for Local, Cross-Platform Inference
medium.com·1d·
Discuss: Hacker News, r/LocalLLaMA, r/gamedev
🦙Ollama
Flag this post
How to use Claude Code for big tasks without turning your code to shit
holdtherobot.com·3d·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
Abstract Classes in TypeScript: Enforcing an Architectural Imperative
dev.to·7h·
Discuss: DEV
📐Type Theory
Flag this post
A Production LLMOps Architecture for Snowflake
dev.to·2d·
Discuss: DEV
🦙Ollama
Flag this post
Human or Machine? Low-Latency Audio Detection of Humans at Scale
nooks.ai·3h·
Discuss: Hacker News
🚀Performance
Flag this post
Selective (smart) MoE experts offloading to CPU?
arxiv.org·1d·
Discuss: r/LocalLLaMA
📱Edge AI
Flag this post
Exhaustive profiling toolkit: elfutils and libdwfl_stacktrace
developers.redhat.com·1d
📊Profiling Tools
Flag this post
TAI #178: Kimi K2 Thinking Steals the Open-Source Crown With a New Agentic Contender
pub.towardsai.net·2d
💬Prompt Engineering
Flag this post
Building an autograd engine in pure Rust
evis.dev·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
A Tensor Residual Circuit Neural Network Factorized with Matrix Product Operation
arxiv.org·19h
🧮Vector Databases
Flag this post
ParaRNN [from Apple Research]
github.com·22h·
Discuss: Hacker News
🔥PyTorch
Flag this post