📐 TLA+

Formal Methods, Distributed Algorithms, Model Checking, Correctness

Leaving Gemma3 in charge of my washing machine
youtube.com·3h·
Discuss: r/LocalLLaMA
🗑️Garbage Collection
Flag this post
Show HN: Steadykey – Deterministic Idempotency Keys with Pluggable Stores
npmjs.com·4d·
Discuss: Hacker News
📄FlatBuffers
Flag this post
Milestone raises $10M to make sure AI rhymes with ROI
techcrunch.com·13h
🌀Naiad
Flag this post
Stateless Intelligence Is Not Safe Intelligence
medium.com·1d·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
To Have Machines Make Math Proofs, Turn Them Into a Puzzle
quantamagazine.org·3d·
Discuss: Hacker News, Hacker News
🧮SMT Solvers
Flag this post
Model Driven App: disable "Open in Excel Online" button
dev.to·9h·
Discuss: DEV
📁Dotfiles
Flag this post
Algorithmic Calibration of Volatility Skews via Optimal Transport
dev.to·21h·
Discuss: DEV
💰TigerBeetle
Flag this post
AI Overviews Shouldn’t Be “One Size Fits All”
oreilly.com·13h
🔒Digital Privacy
Flag this post
Building a real-time LLM visualization tool for Mac - what would make it useful for you?
reddit.com·23h·
Discuss: r/LocalLLaMA
🚀MLOps
Flag this post
I built (another) Elm-style `useEffectReducer` hook for React ⚛️
dev.to·1d·
Discuss: DEV
🔄Effect Handlers
Flag this post
SWAP: Towards Copyright Auditing of Soft Prompts via Sequential Watermarking
arxiv.org·3d
🔢Homomorphic Encryption
Flag this post
Building a Production RAG System for Resume Search: What Actually Worked (and What Didn't)
dev.to·1d·
Discuss: DEV
🗄️Database Internals
Flag this post
Jeff Su: 4 ChatGPT Hacks that Cut My Workload in Half
dev.to·1d·
Discuss: DEV
💬Prompt Engineering
Flag this post
Automate Your Astro Blog with GitHub Actions
dev.to·1d·
Discuss: DEV
⎈Helm
Flag this post
Tech With Tim: 7 Python Anti Patterns to Avoid
dev.to·1d·
Discuss: DEV
⏭️Skip Lists
Flag this post
DANS-KGC: Diffusion Based Adaptive Negative Sampling for Knowledge Graph Completion
arxiv.org·1d
🔍RAG
Flag this post
DLER: Doing Length pEnalty Right - Incentivizing More Intelligence per Token viaReinforcement Learning
paperium.net·4d·
Discuss: DEV
💬Prompt Engineering
Flag this post
Tech With Tim: 7 Python Anti Patterns to Avoid
dev.to·9h·
Discuss: DEV
⚡Ruff
Flag this post
7 Best Alternatives to Botpress in 2025
dev.to·13h·
Discuss: DEV
💬Prompt Engineering
Flag this post
NDC Conferences: The future & challenges of cloud - Anders Lybecker - NDC Copenhagen 2025
dev.to·5h·
Discuss: DEV
🌍Edge Computing
Flag this post