Linear Temporal Logic, Model Checking, Temporal Properties, Verification

Deploying Temporal on AWS ECS with Terraform
papnori.github.io·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Flag this post
I Built a One File Edge Probe to Tell Me When Time Is Lying
physical-ai.ghost.io·1d·
Discuss: Hacker News
📊Runtime Verification
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.medium.com·13h·
Discuss: Hacker News
💎Refinement Types
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·1d
👁️Observability
Flag this post
Bringing locally running LLM into your NodeJS project
dev.to·1d·
Discuss: DEV
🐳Containerization
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·2d
📝Term Rewriting
Flag this post
Single-agent Reinforcement Learning Model for Regional Adaptive Traffic Signal Control
arxiv.org·1d
🔄Finite State Machines
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·1d
🔲Cellular Automata
Flag this post
Scalable Multi-Modal Feedback Loop for Constrained Reinforcement Learning in Robotic Grasping
dev.to·2d·
Discuss: DEV
🤖Robotics
Flag this post
Effectiveness of LLMs in Temporal User Profiling for Recommendation
arxiv.org·1d
📚Automata Learning
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·1d
📦Opam
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·4h
📡Network Protocol Design
Flag this post
How I Made My Voice AI Smarter: Real Lessons from Building in the Field
dev.to·1h·
Discuss: DEV
🔤Language Design
Flag this post
Machine Learning-assisted Dynamics-Constrained Day-Ahead Energy Scheduling
arxiv.org·4h
🩹Self-Healing Systems
Flag this post
Many-vs-Many Missile Guidance via Virtual Targets
arxiv.org·4h
🤖Robotics
Flag this post
“From Code to Content: Why I Tested ChatGPT vs Grammarly for My Blog”
dev.to·22h·
Discuss: DEV
🧩Parser Combinators
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·1d
🕸️Graph Theory
Flag this post
A Guide To Being Persuasive About AI Dangers
lesswrong.com·2h
🔲Cellular Automata
Flag this post