🌲 CTL

Computation Tree Logic, Branching Time, Model Checking

Unexpected Things that are People
bengoldhaber.substack.com·1h·
Discuss: Substack
🏛️CoreFoundation
Flag this post
At the Root: An Anti-Racist Ethical Source License for Open Source Projects
attheroot.dev·1d·
Discuss: Hacker News
🛡️macOS Security
Flag this post
Advice for System Design Interviews
jacobbrazeal.wordpress.com·4d·
Discuss: Hacker News
🛡️seL4
Flag this post
Google Summer of Code 2025 Reports: Using bubblewrap to add sandboxing to NetBSD
blog.netbsd.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
📦Namespaces
Flag this post
Notes on ClickHouse Scaling
gouthamve.dev·2d·
Discuss: Hacker News
🏠HomeLab
Flag this post
The Sacred Code
dev.to·5h·
Discuss: DEV
📚Automata Learning
Flag this post
🧠 Built a VS Code extension that flags misleading function names in Python (early access) - feedback welcome!
dev.to·1d·
Discuss: DEV
🎯GADT
Flag this post
httpcache Library Update: v1.2.0 to v1.3.0
reddit.com·1d·
Discuss: r/golang
🌐ActivityPub
Flag this post
SoilX: Calibration-Free Comprehensive Soil Sensing Through Contrastive Cross-Component Learning
arxiv.org·12h
📐Linear Algebra
Flag this post
Resonance Field Modulation via Adaptive Multi-Modal Data Fusion for Enhanced Particle Trapping
dev.to·1d·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Choosing the best AI coding agent for Bitrise
bitrise.io·5d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
[D] ML Pipelines completely in Notebooks within Databricks, thoughts?
reddit.com·4h·
Discuss: r/MachineLearning
🧮Z3 Solver
Flag this post
Jeff Su: 4 ChatGPT Hacks that Cut My Workload in Half
future.forem.com·2d·
Discuss: DEV
🎮Verification Games
Flag this post
Inside My AI Workflow: How I Get Real Work Done With Prompts
dev.to·2d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
🐍 Using Python to Extend Go High Level’s Capabilities via API
dev.to·4h·
Discuss: DEV
🔌APIs
Flag this post
Shrinking the Variance: Shrinkage Baselines for Reinforcement Learning with Verifiable Rewards
arxiv.org·4d
🎯Hindley-Milner
Flag this post
Code That Writes Itself: The Era of Example-Driven Programming by Arvind Sundararajan
dev.to·4d·
Discuss: DEV
🤖Program Synthesis
Flag this post
Tech With Tim: OpenAI’s New Agent Builder is Insane - Full Tutorial
dev.to·13h·
Discuss: DEV
🤖Program Synthesis
Flag this post
OpenAI Raises Alarm on Superintelligent AI, Calls for Global Safety Measures
dev.to·12h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Between Rules and Meaning: Building a Website That Understands Language
dev.to·5d·
Discuss: DEV
🧩Parser Combinators
Flag this post