Modelling API rate limits as diophantine inequalities
vivekn.devΒ·2dΒ·
Discuss: Hacker News
🎯Performance Proofs
Why Dyad?: A Perspective for Modelica Users
juliahub.comΒ·4dΒ·
Discuss: Hacker News
πŸ’§Liquid Types
MTTR: Bullshit Masquerading as Operational Efficiency
medium.comΒ·9mΒ·
Discuss: Hacker News
πŸ‘οΈObservatory Systems
Show HN: AI-gent Workflows – locally reasoning AI Agents
ai-gents.workΒ·3dΒ·
Discuss: Hacker News
⚑Proof Automation
How much slower is random access, really?
samestep.comΒ·6dΒ·
Discuss: Hacker News, r/programming
πŸ“ΌTape Encoding
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.comΒ·5dΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Why Artificial Integrity Must Overtake Artificial Intelligence
forbes.comΒ·13hΒ·
Discuss: Hacker News
πŸ”²Cellular Automata
I Tested an OpenRewrite Recipe: The Mistakes I Made and How to Fix Them
hackernoon.comΒ·3d
βš–οΈVerification Calculi
Writing Toy Software Is a Joy
quiz.businessexplain.comΒ·4dΒ·
Discuss: Hacker News
πŸ”©Systems Programming
Week 1 of Hustle2Grand: Building, Pivoting, and Figuring Stuff Out
dev.toΒ·13hΒ·
Discuss: DEV
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
Hypercubical manifolds in homotopy type theory
arxiv.orgΒ·5d
πŸ”ΆCubical Type Theory
Characterization Of Diseases In Temporal Comorbidity Networks
arxiv.orgΒ·1h
πŸ“Information Geometry
Improving Stochastic Cubic Newton with Momentum
arxiv.orgΒ·3d
🧠Machine Learning
AI-Powered Ticket Routing & SLA Breach Prediction in JIRA- My Real-World Automation Journey
dev.toΒ·9hΒ·
Discuss: DEV
πŸ“Code Metrics
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.orgΒ·5d
πŸ”Concolic Testing
Feedback wanted: We’re auto-generating Kubernetes operators from OpenAPI specs (introducing oasgen-provider)
reddit.comΒ·1dΒ·
Discuss: r/kubernetes
πŸ”“Open Source Software
What Makes ChatGPT Effective for Software Issue Resolution? An Empirical Study of Developer-ChatGPT Conversations in GitHub
arxiv.orgΒ·1h
πŸ”—Dependency Resolution
Data Science Projects You can start this weekend
dev.toΒ·13hΒ·
Discuss: DEV
πŸ§ͺData science
Beyond Speed: A Smarter Framework for Measuring AI Developer Efficiency
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“Code Metrics
[veld-fm] I Built a Terminal File Manager with Tiling Panels Because I'm Obsessed with Keyboard Shortcuts
dev.toΒ·2dΒ·
Discuss: DEV
🏺ZIP Archaeology