⏳ LTL

Linear Temporal Logic, Model Checking, Temporal Properties, Verification

AWK technical notes (2023)
maximullaris.com·2h·
Discuss: Lobsters
🔀Brzozowski Derivatives
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Dusty, new HTTP server using async I/O and coroutines
github.com·1h·
Discuss: r/Zig
🌐Network Protocols
Flag this post
Challenge: Improve Multilingual ASR Performance for Mozilla
community.mozilladatacollective.com·3h·
Discuss: Hacker News
🔤Language Design
Flag this post
The Curious Case of Factual (Mis)Alignment between LLMs' Short- and Long-FormAnswers
dev.to·13h·
Discuss: DEV
📚Automata Learning
Flag this post
GIL and Race Condition in Python
dev.to·15h·
Discuss: DEV
⏰Timed Automata
Flag this post
LLM-generated text is not testimony
lesswrong.com·1d
🔍Formal Verification
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·10h·
Discuss: Substack
🔀OCaml Multicore
Flag this post
The Development of Pie
terathon.com·22h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Building Resilient Go Services: Context, Graceful Shutdown, and Retry/Timeout Patterns
dev.to·3h·
Discuss: DEV
⚙️Kubernetes Operators
Flag this post
Building a Message-to-SQL AI Agent with Mastra and Telex.im
dev.to·1h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·14h·
Discuss: Hacker News
📚Automata Learning
Flag this post
[R] TempoPFN: Synthetic Pretraining of Linear RNNs for Zero-Shot Timeseries Forecasting
reddit.com·11h·
Discuss: r/MachineLearning
📚Automata Learning
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·5h·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Made my first AI Agent Researcher with Python + Langchain + Ollama
reddit.com·8h·
Discuss: r/artificial
🧮Z3
Flag this post
Ajla Tutorial
ajla-lang.cz·2d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Aligning Large Language Models with Procedural Rules: An Autoregressive State-Tracking Prompting for In-Game Trading
arxiv.org·3d
🔄Finite State Machines
Flag this post
Is 'human' a risky AGI target
nullsy.com·22h·
Discuss: Hacker News
📚Automata Learning
Flag this post
🚀 Exploring Go’s Core Features in Depth
dev.to·7h·
Discuss: DEV
λFunctional Programming
Flag this post