Gunmaker sues Washington's police academy over P320 pistol ban
mynorthwest.com·2h·
Discuss: Hacker News
🧪Property-Based Testing
A Slice of Bread as a Yogurt Starter? (2022)
wildfermentation.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Lisp Flavored Erlang
lfe.io·4d·
Discuss: Hacker News
🐫OCaml
20 years of Linux on the Desktop (part 4)
ploum.net·5d·
Discuss: Lobsters, Hacker News
🔬Unikernels
ContextSphere 8B: A New AI Paradigm
dixonary.co.uk·3d·
Discuss: Hacker News
🐫OCaml
The Many Faces of Agentic Identities
cyata.ai·4d·
Discuss: Hacker News
🤖Program Synthesis
A micro-to-macroscale and multi-method investigation of human sweating dynamics
arxiv.org·2d·
Discuss: Hacker News
⚙️Operating System Design
Renting is for Suckers
andrewkelley.me·3d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Vibe Coding Turned This Swedish AI Unicorn Into The Fastest Growing Software Startup Ever, graphic
forbes.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Jupyter-dark-detect: Detect dark mode in Jupyter environments
github.com·10h·
Discuss: Hacker News
🍎Apple
The Big Stack Game of LLM Poker (2024)
sarahtavel.com·5d·
Discuss: Hacker News
🐫OCaml
GitHub's required status checks are fail-open and not fail-close
github.com·6d·
Discuss: Hacker News
🔬Static Analysis
Mineral exploration startups are the tech startups of the physical world
news.ycombinator.com·3d·
Discuss: Hacker News
🧗Climbing Tech
Weak baselines and reporting biases lead to overoptimism in ML for fluid PDEs
arxiv.org·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Analytical Formulation of Autonomous Vehicle Freeway Merging Control with State-Dependent Discharge Rates
arxiv.org·3d
🔄Finite State Machines
Boosting Ray Search Procedure of Hard-label Attacks with Transfer-based Priors
arxiv.org·3d
🧪Property-Based Testing
Deep Generative Models in Condition and Structural Health Monitoring: Opportunities, Limitations and Future Outlook
arxiv.org·5d
🔄Finite State Machines
Show HN: Open-source DevOps agent in Rust to secure and manage production infra
github.com·6d·
Discuss: Hacker News
⎈Kubernetes
Comparison of Optimised Geometric Deep Learning Architectures, over Varying Toxicological Assay Data Environments
arxiv.org·2d
➡️Category Theory
GitLab Launches Its AI Agent Platform in Public Beta
thenewstack.io·5d
🖥️Self-hosted Infrastructure