⏳ LTL

Linear Temporal Logic, Model Checking, Temporal Properties, Verification

My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
github.com·1d·
Discuss: r/compsci, r/programming
💾Cachix
Flag this post
Becoming a Core Developer
stefaniemolin.com·1d
🔬Static Analysis
Flag this post
Defeating KASLR by Doing Nothing at All
googleprojectzero.blogspot.com·3h·
Discuss: googleprojectzero.blogspot.com, Hacker News
🔧Unikernel Development
Flag this post
State of Terminal Emulators in 2025: The Errant Champions
jeffquast.com·1d·
Discuss: Lobsters, Hacker News, Hacker News
🔧Darwin Internals
Flag this post
A Quantitative Framework to Predict Wait-Time Impacts Due to AI-Triage Devices in a Multi-AI, Multi-Disease Workflow
arxiv.org·16h
👁️Observability
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·1d·
Discuss: Hacker News, Hacker News
🏃Escape Analysis
Flag this post
Why agents DO NOT write most of our code - a reality check
dev.to·11h·
Discuss: DEV
🧪Property-Based Testing
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·1d·
Discuss: Hacker News, r/rust
🏃Escape Analysis
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·3d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Controlling Source Determination with Source Lists
dev.to·12h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
AI Summarization Optimization
schneier.com·9h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
The Curious Case of Factual (Mis)Alignment between LLMs' Short- and Long-FormAnswers
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.org·16h
🎮Verification Games
Flag this post
Building MultiLingo: An AI Translation Agent with Telex Integration
dev.to·2h·
Discuss: DEV
📦Module Systems
Flag this post
Deflanderization for Game Dialogue: Balancing Character Authenticity with TaskExecution in LLM-based NPCs
dev.to·6h·
Discuss: DEV
🛡️seL4
Flag this post
Accelerated Dielectric Barrier Coating Optimization via Multi-Modal Data Fusion & Bayesian Hyperparameter Tuning
dev.to·1h·
Discuss: DEV
🛡️Privacy Engineering
Flag this post
A Thesis and Playbook for Edge AI
ondeviceguy.substack.com·10h·
Discuss: Substack
🖥️Self-hosted Infrastructure
Flag this post
Why Engineers Can't Be Rational About Programming Languages
spf13.com·7h·
Discuss: Hacker News
🔤Language Design
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·1d·
Discuss: Substack
🔀OCaml Multicore
Flag this post
Simplifying Preference Elicitation in Local Energy Markets: Combinatorial Clock Exchange
arxiv.org·16h
💎Refinement Types
Flag this post