📐 TLA+

Formal Methods, Distributed Algorithms, Model Checking, Correctness

PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
A PoC to make a backdoored PyTorch neural network
hacktelligence.org·6h·
Discuss: Hacker News
🔥PyTorch
Flag this post
channels-console - Real-time monitoring, metrics and logs for Rust channels
github.com·11h·
Discuss: r/rust
⚡Hyper
Flag this post
Happy Eyeballs Version 3: Better Connectivity Using Concurrency
datatracker.ietf.org·31m·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Low-Level Hacks
blog.raycursive.com·2d·
Discuss: Hacker News
🦀Rust
Flag this post
Top Open Source Tools for Kubernetes ML: From Development to Production
dev.to·1d·
Discuss: DEV
🚀MLOps
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·2d
🎯Hindley-Milner
Flag this post
Detached agent chains that work like people do
dev.to·6h·
Discuss: DEV
🤖Automation
Flag this post
Attention Is All You Need for KV Cache in Diffusion LLMs
paperium.net·2d·
Discuss: DEV
🔁Cache Coherence
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
dev.to·1d·
Discuss: DEV
🦀Rust
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·2d
💬Prompt Engineering
Flag this post
CI/CD Best Practices: Building Robust Deployment Pipelines
dev.to·13h·
Discuss: DEV
🔧DevOps
Flag this post
How Serde Transforms Rust Data Serialization: Complete Performance and Safety Guide
dev.to·1d·
Discuss: DEV
📦Serde
Flag this post
Spring AI RAG, Demystified: From Toy Demos to Production-Grade Retrieval
dev.to·5h·
Discuss: DEV
🔍RAG
Flag this post
Epidemiology of Large Language Models: A Benchmark for Observational Distribution Knowledge
arxiv.org·32m
🤖Transformers
Flag this post
Active Noise Control Method Using Time Domain Neural Networks for Path Decoupling
arxiv.org·32m
📡Signal Processing
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
📊Dynamic Programming
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.org·1d
🔍eBPF
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·2d
🎭Program Synthesis
Flag this post
Curious about real local LLM workflows: What’s your setup?
reddit.com·21h·
Discuss: r/LocalLLaMA
🚀MLOps
Flag this post