⏳ LTL

Linear Temporal Logic, Model Checking, Temporal Properties, Verification

Android development help needed, is this possible?
developer.android.com·22h·
Discuss: r/programming
⏰Timed Automata
Flag this post
Aligning Large Language Models with Procedural Rules: An Autoregressive State-Tracking Prompting for In-Game Trading
arxiv.org·2d
🔄Finite State Machines
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·18h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·3d·
Discuss: Substack
λFunctional Programming
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·1d
🔄Finite State Machines
Flag this post
How to Data Engineer the ETLFunnel Way
dev.to·2h·
Discuss: DEV
📊Runtime Verification
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·1d·
Discuss: Lobsters, Hacker News
🔍Type Inference
Flag this post
Chatbots, My Rules of Engagement
christophedujarric.com·13h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Know Your Assets, Know Your Normal: A Practical Guide to OT Baselining
emberot.com·11h·
Discuss: Hacker News
📊Runtime Verification
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·1d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
➡️Category Theory
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.to·4h·
Discuss: DEV
🔍CBMC
Flag this post
A portable picokernel for async I/O
ryansepassi.com·15h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·3d·
Discuss: Hacker News
🔧ppx
Flag this post
Building Intelligent AI Agents with Modular Reinforcement Learning
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·3d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·1d
λFunctional Programming
Flag this post