On Sale
bluesnews.com·2d
🛡️IoT Security
Analyzing the Anti-Analysis Logic of an Adware Installer
objective-see.com·6d
✅Formal Verification
Mellea is a library for writing generative programs
mellea.ai·3d·
Discuss: Lobsters, Hacker News
🎲Probabilistic Programming
ByteDance Unveils ToolTrain: A New Tool-Integrated Reinforcement Learning RL Framework that Redefines Repo Deep Search
marktechpost.com·3d
🔧Compiler Design
Our DevOps stack and recent improvements
ngrok.com·3d·
Discuss: Hacker News
👐Open Source Software
💭 Harlequin SQL IDE - DuckDB
waylonwalker.com·1d
🧮Programming Language Theory
Defending a City from Multi-Drone Attacks: A Sequential Stackelberg Security Games Approach
arxiv.org·1h
⚖Algorithmic Game Theory
Constructor Theory of Time feels like Object-Oriented Programming
reddit.com·1d·
Discuss: r/compsci
🧮Programming Language Theory
Data-Driven Abdominal Phenotypes of Type 2 Diabetes in Lean, Overweight, and Obese Cohorts
arxiv.org·1h
🎲Probabilistic Programming
Learning with Confidence
arxiv.org·1h
🎲Probabilistic Programming
Hey Recruiters 👋, I Broke the Resume. Then I Rebuilt It with AI.
dev.to·7h·
Discuss: DEV
🧩Theorem Proving
Trustworthy AI Psychotherapy: Multi-Agent LLM Workflow for Counseling and Explainable Mental Disorder Diagnosis
arxiv.org·1h
🎲Probabilistic Programming
Meta-learning Structure-Preserving Dynamics
arxiv.org·1h
🎲Probabilistic Programming
Modeling and Detecting Company Risks from News: A Case Study in Bloomberg News
arxiv.org·1h
🔗Parser Combinators
Scalable Multi-Modal Analysis for Targeted Photothermal Therapy Optimization
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Streaming Android applications via the browser
engineering.hackerearth.com·1d
🔌Network Programming
⭐ grantjenks python-c2f
waylonwalker.com·1d
🧮Programming Language Theory
From Black Box to Transparency: Enhancing Automated Interpreting Assessment with Explainable AI in College Classrooms
arxiv.org·3d
🔗Parser Combinators
Advanced Contract Patterns and Testing Strategies for AI-Safe Development
dev.to·5d·
Discuss: DEV
⚙Functional Programming
From Code to Docs: One Workflow That Does It All
dev.to·2d·
Discuss: DEV
🔧Compiler Design