Show HN: CS2 crosshair Database that updates daily
cs2crosshair.org·1d·
Discuss: Hacker News
💻CS
Blender Addon: Bonsai, a Building Information Model Authoring Platform Using IFC
extensions.blender.org·16h·
Discuss: Hacker News
🔄Reproducible Builds
The Ideological Spiral
cognition.cafe·13h·
Discuss: Hacker News
➡️Category Theory
Biggest Mistakes Engineering Leaders Make With AI
newsletter.eng-leadership.com·3d·
Discuss: r/programming
🧪Property-Based Testing
VideoITG: Multimodal Video Understanding with Instructed Temporal Grounding
arxiv.org·2d
🔄Finite State Machines
How To Build an AI Health Care Agent on Amazon Bedrock
thenewstack.io·2d
🏠HomeLab
A Practical Two-Stage Recipe for Mathematical LLMs: Maximizing Accuracy with SFT and Efficiency with Reinforcement Learning
arxiv.org·6d
✓Automated Theorem Proving
Bridging Boundaries: How to Foster Effective Research Collaborations Across Affiliations in the Field of Trust and Safety
arxiv.org·2d
📡Network Protocol Design
ToMacVF : Temporal Macro-action Value Factorization for Asynchronous Multi-Agent Reinforcement Learning
arxiv.org·5d
🔄Finite State Machines
Intelligent Virtual Sonographer (IVS): Enhancing Physician-Robot-Patient Communication
arxiv.org·2d
🤖Program Synthesis
Generalist Bimanual Manipulation via Foundation Video Diffusion Models
arxiv.org·2d
➡️Category Theory
How I Learned to Stop Worrying and Have Fun with A.I.
nytimes.com·3d·
Discuss: Hacker News
🔬Static Analysis
GHPO: Adaptive Guidance for Stable and Efficient LLM Reinforcement Learning
arxiv.org·4d
✓Automated Theorem Proving
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·3d
➡️Category Theory
Toxicity-Aware Few-Shot Prompting for Low-Resource Singlish Translation
arxiv.org·3d
🔍Formal Verification
Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers
arxiv.org·5d
🏹Effect Systems
Ask HN: Would you use a serverless, pay-per-second model for AI inference?
news.ycombinator.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Tracing the Path to Grokking: Embeddings, Dropout, and Network Activation
arxiv.org·3d
🔬Static Analysis
Interacting Hosts with Microbiome Exchange: An Extension of Metacommunity Theory for Discrete Interactions
arxiv.org·2d
📡Network Protocol Design
Deep Generative Methods and Tire Architecture Design
arxiv.org·3d
🐫OCaml