Show HN: Tired of ghosting on language apps. I made this to schedule real talks
meetapart.com·11h·
Discuss: Hacker News
🧩Theorem Proving
How Parents Can Help Kids Use AI Responsibly for Homework
mezha.net·19h·
Discuss: Hacker News
🧩Theorem Proving
Code Review Can Be Better
tigerbeetle.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
👐Open Source Software
Investigating Intersectional Bias in Large Language Models using Confidence Disparities in Coreference Resolution
machinelearning.apple.com·3d
🎲Probabilistic Programming
Const Trait Counterexamples
dbeef.dev·23h·
Discuss: Lobsters, Hacker News, r/rust
⚙Functional Programming
Cerbos vs OPA: comparing policy language, developer experience, performance, and scalability (useful if you are evaluating authorization for Kubernetes)
cerbos.dev·2d
👐Open Source Software
How to make a proper pathfinded forest
reddit.com·3h·
Discuss: r/godot
🦀Rust
Blockchain Wants to Be the Dealer in Your Next Game of Poker
hackernoon.com·7h
⚖Algorithmic Game Theory
A Principled AI Path to Spec-Driven Verification
semiwiki.com·1d
🔧Compiler Design
Serving and styling XML on the web
blog.saxonica.com·3h
📦WebAssembly
【update】MocaSubtitle: Added elevenlabs speech-to-text model（Chinese effect is very good）, supporting proofreading of existing subtitles
reddit.com·7h·
Discuss: r/macapps
🧩Theorem Proving
Is the generative AI bubble about to burst?
infoworld.com·1d·
Discuss: r/programming
🎲Probabilistic Programming
[MEDIA] LunarBase - Security First portable BaaS
reddit.com·1d·
Discuss: r/rust
🦀Rust
This AI-Fueled Startup Is Helping Attorneys Find New Class Action Lawsuits
forbes.com·3h
⚖Algorithmic Game Theory
Enhanced Thermal Performance Prediction via Multi-Scale Graph Neural Network with Bayesian Calibration
dev.to·9h·
Discuss: DEV
🎲Probabilistic Programming
Idea for managing large projects with Claude
reddit.com·1d·
Discuss: r/ClaudeAI
🏗️Software Architecture
You Know JavaScript but Can’t Solve Problems in It?
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Personalized Counterfactual Framework: Generating Potential Outcomes from Wearable Data
arxiv.org·10h
🎲Probabilistic Programming
Adaptive Autonomous Agent Calibration Via Dynamic Bayesian Meta-Learning
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Prompt Orchestration Markup Language (POML): Future of Structured Prompt Engineering 2025
dev.to·1d·
Discuss: DEV
🔧Compiler Design