📐 TLA+

Formal Methods, Distributed Algorithms, Model Checking, Correctness

Saumen Biswas: Innovating Software Reliability And Observability In Enterprises
oneindia.com·2d
👁️Observability
Flag this post
Autism-aware application design: Tips for software testers
ministryoftesting.com·3h·
Discuss: Hacker News
📐Type Theory
Flag this post
Top Ruby on Rails Hosting Providers for Your Apps in 2025
railscarma.com·5h·
Discuss: Hacker News
🔧DevOps
Flag this post
Architectures of the AI Mind
artificiallyintelligentspace.substack.com·17h·
Discuss: Substack
📖Interactive Fiction
Flag this post
VS Code extension for interactive code flowcharts and dependency graphs
github.com·11h·
Discuss: Hacker News, r/opensource, r/programming
🏭Code Generation
Flag this post
How reliable are AI agents?
droidrun.ai·4d·
Discuss: DEV
📱Edge AI
Flag this post
[D] Question about Fact/Knowledge Graph Traversal, Model Traversal
reddit.com·1d·
Discuss: r/MachineLearning
🗃️Zettelkasten
Flag this post
PixelPal: My First Production-Ready AI Project
dev.to·3h·
Discuss: DEV
🎨Creative Coding
Flag this post
Series Week 7/52 - Optimizing Bussiness Performance with a Managed Model for Performance
dev.to·1d·
Discuss: DEV
🚀Performance
Flag this post
A benchmark multimodal oro-dental dataset for large vision-language models
arxiv.org·9h
👁️Computer Vision
Flag this post
Unlocking Simplicity: Skeletonizing Boolean Networks for Enhanced Performance by Arvind Sundararajan
dev.to·4d·
Discuss: DEV
⏭️Skip Lists
Flag this post
Robust Layerwise Scaling Rules by Proper Weight Decay Tuning
paperium.net·20h·
Discuss: DEV
📱Edge AI
Flag this post
My recent experiences with Haiku 4.5 for NON CODE purposes that were still complex
reddit.com·23h·
Discuss: r/ClaudeAI
🌳Tree-sitter
Flag this post
RAG vs Fine‑Tuning: A Simple, Practical Guide for Beginners
dev.to·15h·
Discuss: DEV
🔍RAG
Flag this post
ConsistEdit: Highly Consistent and Precise Training-free Visual Editing
paperium.net·2h·
Discuss: DEV
🎨Creative Coding
Flag this post
Mastering Python Strings: A Deep Dive for Senior Developers
dev.to·18m·
Discuss: DEV
📝Suffix Arrays
Flag this post
Agentic Design of Compositional Machines
paperium.net·2d·
Discuss: DEV
💬Prompt Engineering
Flag this post
How I Approach Building Component Systems
dev.to·7h·
Discuss: DEV
🎨Design Systems
Flag this post
Rewiring Experts on the Fly:Continuous Rerouting for Better Online Adaptation inMixture-of-Expert models
dev.to·19h·
Discuss: DEV
💬Prompt Engineering
Flag this post
Enhanced Predictive Maintenance of Wind Turbine Gearboxes via Multi-Modal Data Fusion & Bayesian Optimization
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Flag this post