How much disorder is there in a descending run?
morwenn.github.io·1d·
Discuss: Hacker News
Order Theory
Flag this post
A Claude Code Command for Hypothesis
hypothesis.works·11h·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·9h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·8h·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·1d
🎮Verification Games
Flag this post
TypeScript Rewrote Itself in Go?! What That “10x Faster” Hype Really Means
dev.to·15h·
Discuss: DEV
🔧ppx
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.org·1h
📚Automata Learning
Flag this post
AI-Assisted Coding & Automated Debugging: The Tools That Might Just Save Your Sanity
dev.to·2d·
Discuss: DEV
🤖Program Synthesis
Flag this post
Application architecture design template
reddit.com·1d·
Discuss: r/programming
🔤Language Design
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
github.com·14h·
Discuss: Hacker News
💎Refinement Types
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·1d
📦Opam
Flag this post
Vibe Coding Vibe Deployment: The Next Big DevOps Shift
dev.to·2h·
Discuss: DEV
🔧DevOps
Flag this post
AraFinNews: Arabic Financial Summarisation with Domain-Adapted LLMs
arxiv.org·1d
🧩Parser Combinators
Flag this post
CueBench: Advancing Unified Understanding of Context-Aware Video Anomalies in Real-World
arxiv.org·1d
🔲Cellular Automata
Flag this post
My Thoughts on the 2025 Stack Overflow Survey: The Hype, the Reality, the Gap
dev.to·15h·
Discuss: DEV
🔧DevOps
Flag this post
From Vulnerable to Production-Ready: A Real-World Security Hardening Journey
dev.to·13h·
Discuss: DEV
🔒Protocol Verification
Flag this post
Why your AI evals keep breaking
atla-ai.com·20h·
Discuss: Hacker News
👁️System Observability
Flag this post
I Work in Healthcare, and I Built Syda to Solve One Simple Problem: Test Data
dev.to·3h·
Discuss: DEV
🎯GADT
Flag this post
Why Logic Isn't as Objective as You Think
dev.to·1h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Analysis of Iterative Deblurring: No Explicit Noise
arxiv.org·1h
🔢Matrix Decomposition
Flag this post