How to Integrate Voice + GPT Into Mobile Apps with Real Use Cases & Architecture
manektech.com·7h·
Discuss: DEV
🎭Actor Model
Flag this post
Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
huggingface.co·14h·
Discuss: Hacker News
🎭Actor Model
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
🗂data structures
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.com·1d
algorithms
Flag this post
Moving past speculation: How deterministic CPUs deliver predictable AI performance
venturebeat.com·3d
Developer Productivity
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·13h·
Discuss: Hacker News
🎮Game Engines
Flag this post
Bikeshedding `Handle` and other follow-up thoughts
smallcultfollowing.com·19h·
🦀Rust
Flag this post
Bitcoin Core now has an interface for its consensus code - TheCharlatan
github.com·1d
Async Rust
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
🎮Game Engines
Flag this post
The Science of AI Internal State Awareness
responseawareness.substack.com·1d·
Discuss: Substack
🎭Actor Model
Flag this post
Can LLMs subtract numbers?
arxiv.org·14h·
Discuss: Hacker News
algorithms
Flag this post
AI That Shows Its Work: The Transparent Revolution of PALs
dev.to·3h·
Discuss: DEV
🤖AI
Flag this post
Everything You Need to Know to Start Your Way as a Programmer
dev.to·1h·
Discuss: DEV
algorithms
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
sebastianraschka.com·2d·
Discuss: r/LLM
🤖AI
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
dev.to·1d·
Discuss: DEV
Async Rust
Flag this post
Decoding Kiroween
dev.to·1d·
Discuss: DEV
Async Rust
Flag this post
0055: consulting, sql needed structure, slow forum, on the line, out of thin air, papers, other stuff
scattered-thoughts.net·4d
Developer Productivity
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·22h
🗂data structures
Flag this post
LLMs pivot to the aesthetics of thinking
macwright.com·19h
Developer Productivity
Flag this post
'No Free Lunch: Deconstruct Efficient Attention with MiniMax M2'
lmsys.org·1d
🎭Actor Model
Flag this post