⏳ LTL

Linear Temporal Logic, Model Checking, Temporal Properties, Verification

Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·5h
🧠Automated Reasoning
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·4h·
Discuss: r/golang
🎯GADT
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.io·7h
🔤Language Design
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·18h
🔄Finite State Machines
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🧮Z3 Solver
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.to·7h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Android development help needed, is this possible?
developer.android.com·6h·
Discuss: r/programming
⏰Timed Automata
Flag this post
Do Not Step Into the Same River Twice: Learning to Reason from Trial and Error
arxiv.org·23h
📚Automata Learning
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·9h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λFunctional Programming
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·9h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·8h·
Discuss: Hacker News
📚Automata Learning
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
Discuss: r/javascript, r/programming
🧮Lambda Calculus
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·12h·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Aligning Large Language Models with Procedural Rules: An Autoregressive State-Tracking Prompting for In-Game Trading
arxiv.org·1d
🔄Finite State Machines
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·12h·
Discuss: Hacker News
📚Automata Learning
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·2h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·2d·
Discuss: Substack
λFunctional Programming
Flag this post