🌲 CTL

Computation Tree Logic, Branching Time, Model Checking

Using UUIDv7 with Ruby on Rails Without PostgreSQL 18
t27duck.com·6h·
Discuss: Hacker News
🎯GADT
Flag this post
Trinity Desktop Environment R14.1.5 Released
trinitydesktop.org·3h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
1967 speech about progress, computers, and staying human in an age of automation
mynamelowercase.com·1d·
Discuss: Hacker News
💾Retro Computing
Flag this post
The Monetization Trap: When Profits Come at the Expense of Productivity
greyenlightenment.com·2h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
AI Tools that I've Seen in the Wild
aplaceofmind.notion.site·1d·
Discuss: Hacker News
💻CLI Tools
Flag this post
The Department Of Defense Wants Less Proof Its Software Works
techdirt.com·1d
🔬Reverse Engineering
Flag this post
Flight Cancellations/Delays to KubeCon NA
reddit.com·3h·
Discuss: r/kubernetes
🎮Verification Games
Flag this post
Time-Domain Waveform Deconvolution via Adaptive Multi-Resolution Signal Reconstruction
dev.to·6h·
Discuss: DEV
👁️Observability
Flag this post
Looking for feedback on something I built for creators
dev.to·7h·
Discuss: DEV
🧩Parser Combinators
Flag this post
Alternative Fairness and Accuracy Optimization in Criminal Justice
arxiv.org·2d
👁️Observability
Flag this post
Level Up Your Coding: A Beginner's Guide to Blockchain Development Frameworks
dev.to·2d·
Discuss: DEV
🌐ActivityPub
Flag this post
Why Consciousness Should Explain Physical Phenomena: Toward a Testable Theory
arxiv.org·2d
🔲Cellular Automata
Flag this post
Expected Value Analysis in AI Product Management
towardsdatascience.com·3d
🔢Algebraic Data Types
Flag this post
Follow-Up: I didn’t expect the last post to blow up. Here’s what changed since.
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Flag this post
Building a Python @trace Decorator in Rust
dev.to·2d·
Discuss: DEV
📦Module Systems
Flag this post
AI Just Fixed My Code Before I Even Realized It Was Wrong — Here’s How
dev.to·2d·
Discuss: DEV
🔧DevOps
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·5d
🎮Verification Games
Flag this post
Improving dynamic congestion isolation in data-center networks
arxiv.org·2d
📡Network Protocol Design
Flag this post
The Ultimate List of Free Python Online Compilers for New Coders
dev.to·1d·
Discuss: DEV
⚙️Compiler Design
Flag this post
Dynamic Consensus Algorithm Optimization via Adaptive Multi-Agent Reinforcement Learning in Distributed Cognitive Architectures
dev.to·4d·
Discuss: DEV
🩹Self-Healing Systems
Flag this post