"It could easily be shown..." Probability and Pi and the Riemann Zeta Function
pballew.blogspot.com·2d·
Discuss: www.blogger.com
⚔️Lean Theorem
Coding with LLMs in the summer of 2025 (an update)
simonwillison.net·2d
💧Liquid Types
Memory Efficiency in iOS: Reducing footprint and beyond
antongubarenko.substack.com·1d·
Discuss: Substack
💾Memory Mapping
Rickrolling Turso DB (SQLite rewrite in Rust)
avi.im·2d·
Discuss: Lobsters, Hacker News, r/programming
💾SQLite
Show HN: Bearify – Write workflows in plain English instead of using flowcharts
bearify.ai·17h·
Discuss: Hacker News
🤖Archive Automation
Hyperpb: 10x faster dynamic Protobuf parsing in Go
buf.build·5d·
Discuss: Hacker News
📋Protocol Buffers
Figgie Auto: An algorithmic sandbox for Jane Street's game, "Figgie"
github.com·19h·
Discuss: Hacker News
🔲Cellular Automata
Breaking to Build: Fuzzing the Kotlin Compiler
blog.jetbrains.com·5d·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
Show HN: How Claude Code Improved My Dev Workflow
news.ycombinator.com·12h·
Discuss: Hacker News
🔄Language Evolution
From Federated Learning to Local AI: The Risks and Opportunities of Solving the Data Challenge
hackernoon.com·19h
💻Local LLMs
AIOps - A Multifaceted Challenge
blog.raymond.burkholder.net·1d
🦋Format Evolution
Emergent Cognitive Convergence via Implementation: A Structured Loop Reflecting Four Theories of Mind (A Position Paper)
arxiv.org·5h
🔲Cellular Automata
🤯 I Built an Agentic Deep Researcher & It's MCP Server 🕵🏻‍♂️
dev.to·19h·
Discuss: DEV
🤖Archive Automation
GeoHNNs: Geometric Hamiltonian Neural Networks
arxiv.org·1d
🌀Hyperbolic Geometry
5 Essential Python Design Patterns for Scalable and Efficient Code
dev.to·4d·
Discuss: DEV
🧩WASM Components
First deliverable: Building with Bolt - WLH Challenge
dev.to·16h·
Discuss: DEV
⚙️PL Implementation
Ask r/kubernetes: What are you working on this week?
reddit.com·1d·
Discuss: r/kubernetes
🔩Systems Programming
Deep Micro Solvers for Rough-Wall Stokes Flow in a Heterogeneous Multiscale Method
arxiv.org·2d
🌀Riemannian Computing
LLM-Enhanced Multi-Agent Reinforcement Learning with Expert Workflow for Real-Time P2P Energy Trading
arxiv.org·1d
🤝Consensus Algorithms
MCP: The Simple Protocol to Make AI Actually Useful
dev.to·1d·
Discuss: DEV
🔌Interface Evolution