🌲 CTL

Computation Tree Logic, Branching Time, Model Checking

Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·6d·
Discuss: Hacker News, r/programming
🎯GADT
Flag this post
Blue Origin scrubs second New Glenn launch, will try again November 12
techcrunch.com·1d
🔧DevOps
Flag this post
MIT researchers propose a new model for legible, modular software
news.mit.edu·4d·
Discuss: Hacker News, Hacker News
🔤DSLs
Flag this post
NDC Conferences: The future & challenges of cloud - Anders Lybecker - NDC Copenhagen 2025
dev.to·1d·
Discuss: DEV
🔧Microservices
Flag this post
The Ghost in the Machine Is Finally Allowed to See: A Beginner's Guide to MCP
danielkliewer.com·5d·
Discuss: Hacker News
💬Mach Messages
Flag this post
Managing Your Manager
yusufaytas.com·1d·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
🚀 Early-Stage Kubernetes Backup
reddit.com·3d·
Discuss: r/kubernetes
⚙️Kubernetes Operators
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
reddit.com·4d·
Discuss: r/golang
🎯GADT
Flag this post
MIT Researchers Propose a New Way to Build Software That Actually Makes Sense
devops.com·3d
🔄Reproducible Builds
Flag this post
The file system rabbit hole: Building FSWatcher in Go
dev.to·2d·
Discuss: DEV
👁️System Observability
Flag this post
As we navigate the exponential growth of AI applications, I
dev.to·8h·
Discuss: DEV
🔲Cellular Automata
Flag this post
A multimodal multiplex of the mental lexicon for multilingual individuals
arxiv.org·20h
📚Automata Learning
Flag this post
AIOps for SRE — Using AI to Reduce On-Call Fatigue and Improve Reliability
devops.com·3d
🩹Self-Healing Systems
Flag this post
Prompt Engineering Isn’t Enough: You Need Prompt Thinking
dev.to·23h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Enterprise Deep Research: Steerable Multi-Agent Deep Research for EnterpriseAnalytics
dev.to·7h·
Discuss: DEV
🧩Parser Combinators
Flag this post
Anthropic & Dario’s dream
lesswrong.com·3d
🔲Cellular Automata
Flag this post
Stop Using Boring Stock Photos! 5 Free AI Image Generators for Your Next
dev.to·5h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Emergent Misalignment via In-Context Learning: Narrow in-context examples canproduce broadly misaligned LLMs
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
[open sourcing q] We're taking on Zapier, Make and n8n with no funding, and a small team
dev.to·1d·
Discuss: DEV
🌐ActivityPub
Flag this post
A new language for COBOL workloads, built on GO!
dev.to·5d·
Discuss: DEV
🐫Embedded OCaml
Flag this post