📐 TLA+

Formal Methods, Distributed Algorithms, Model Checking, Correctness

Distro Hopping, Server Edition
chriswarrick.com·14h
🐧Linux
Flag this post
Dissecting the syscall Instruction: Kernel Entry and Exit Mechanisms.
howtech.substack.com·1d·
Discuss: Substack, r/programming
📞System Calls
Flag this post
Leaving PyTorch and Meta
soumith.ch·3d·
Discuss: Hacker News, Hacker News, r/programming
🔥PyTorch
Flag this post
When deep thinking turns into deep hallucination
techkettle.blogspot.com·2d·
Discuss: Hacker News
🚀MLOps
Flag this post
Gen AI Grows Up: Building Production-Ready Agents on the JVM • Rod Johnson • GOTO 2025
youtube.com·4d
📱Edge AI
Flag this post
PSA Kimi K2 Thinking seems to currently be broken for most agents because of tool calling within it's thinking tags
github.com·1d·
Discuss: r/LocalLLaMA
📱Edge AI
Flag this post
Google Play Approved: A Robust Compliance Solution for Android Devs
dev.to·1d·
Discuss: DEV
🔧Abseil
Flag this post
Beta Distribution Learning for Reliable Roadway Crash Risk Assessment
arxiv.org·3h
👁️Computer Vision
Flag this post
Go Generics: Use Cases and Patterns
dev.to·3d·
Discuss: DEV
📐Type Theory
Flag this post
First is Not Really Better Than Last: Evaluating Layer Choice and Aggregation Strategies in Language Model Data Influence Estimation
arxiv.org·3h
🧠Machine Learning
Flag this post
Navigating the LLM Landscape
pub.towardsai.net·2d
🦙Ollama
Flag this post
Building an AI-Powered Resume Tailoring Pipeline: Lessons Learned
github.com·2d·
Discuss: DEV
🦙Ollama
Flag this post
Debugging AI Agents: Overcoming Observability Gaps in Multi-Agent Systems
dev.to·4d·
Discuss: DEV
👁️Observability
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
paperium.net·6d·
Discuss: DEV
🧮SMT Solvers
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·1d·
Discuss: DEV
🚀Performance
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.to·14h·
Discuss: DEV
⚡FastAPI
Flag this post
Auth Series: Yet Another Password Authentication Flow.. but hear me out
dev.to·4h·
Discuss: DEV
🔒Security
Flag this post
Large language models require a new form of oversight: capability-based monitoring
arxiv.org·4d
🚀MLOps
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·12h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·5d·
Discuss: DEV
⚛️Quantum Computing
Flag this post