Irmin Retrospective
patrick.sirref.org·9h·
Discuss: Lobsters, Hacker News
🦀Rust
How I Integrated Google Sign-In with Keycloak Token Exchange in Flutter — Step-by-Step 🚀
console.cloud.google.com·2h·
Discuss: DEV
💻programming
Model Evaluation
ampcode.com·1d·
Discuss: Hacker News
🦀Rust
Automated Microbial Strain Optimization via Bio-Digital Twin Simulation and Bayesian Reinforcement Learning
dev.to·8h·
Discuss: DEV
🔄Async Rust
Is openai playing 5d chess??
reddit.com·10h·
Discuss: r/ArtificialInteligence
🦀Rust
Why I'm excited about the Hierarchical Reasoning Model
medium.com·1d·
Discuss: Hacker News
📐Type Theory
Teaching AI to Fix Your Code: My Summer Improving Quick Fix at Databricks
databricks.com·1d
🦀Rust
Issue 721
iosdevweekly.com·2d
💻programming
Terminal User Interfaces: Review of Crush (Ex-OpenCode Al)
thenewstack.io·10h
💻programming
Toward a new framework to accelerate large language model inference
techxplore.com·2d
🐪ocaml
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·6d·
Discuss: Hacker News
📐Type Theory
The OOD Lie: Your Inheritance Is Secretly Killing App Performance!
dev.to·3h·
Discuss: DEV
🦀Rust
Finding Golden Examples: A Smarter Approach to In-Context Learning
towardsdatascience.com·2d
⚠️Error Handling
How to Learn Go and Backend Development with Concurrency (Coming from Python & Java)
reddit.com·1d·
Discuss: r/golang
🦀Rust
[$] On the use of LLM assistants for kernel development
lwn.net·2d
🦀Rust
Show HN: A Python CEL implementation (written in Rust)
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust
Is anyone using fp-ts? How was your experience and was it worth it?
reddit.com·1d·
Discuss: r/typescript
🦀Rust
GPT-5 vs. Sonnet: Complex Agentic Coding
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
🦀Rust
Tokenization in Large Language Models
seantrott.substack.com·1d·
Discuss: Substack
📐Type Theory
Aura – Like robots.txt, but for AI actions
dev.to·6h·
Discuss: DEV
⚠️Error Handling