External Secrets Operator at a Turning Point
externalsecrets.com·1d·
Discuss: Hacker News
📦Unikernel Systems
The Global Car Reckoning Is Here. Far Too Many Auto Companies Don’t Have a Plan
wired.com·9h·
Discuss: Hacker News, r/China, r/technews
💾Retro Computing
Who Cares If It's Been Tried Before?
blog.eladgil.com·9h·
Discuss: Hacker News
🍎Apple
Growing SEO with Free Tools
timleland.com·1d·
Discuss: Hacker News
❄️Nixified Development
AI Is Designing Bizarre New Physics Experiments That Actually Work
wired.com·3d·
Discuss: Hacker News, r/technews
📦Unikernel Systems
URL context tool for Gemini API now generally available
developers.googleblog.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Various desktop Linux tips for newbies
akselmo.dev·3d·
Discuss: Lobsters, Hacker News
🔬Unikernels
moonfish: a ~2000 Elo python chess engine
reddit.com·2d·
Discuss: r/programming
🎮Verification Games
Why do people keep writing about the imaginary compound Cr2Gr2Te6?
righto.com·12h·
Discuss: Hacker News
🐫OCaml
The 7 Most Common Mistakes Engineers Make in System Design Interviews
reddit.com·3d·
Discuss: r/programming
🎮Verification Games
A finite element framework for simulating residential burglary in realistic urban geometries
arxiv.org·1d
💻CS
Sim2Dust: Mastering Dynamic Waypoint Tracking on Granular Media
arxiv.org·1d
🎮Verification Games
New ESXi 8 motherboard
reddit.com·19h·
Discuss: r/homelab
🏠HomeLab
Connectivity structure and dynamics of nonlinear recurrent neural networks
arxiv.org·20h
➡️Category Theory
High order well-balanced Arbitrary-Lagrangian-Eulerian ADER discontinuous Galerkin schemes on general polygonal moving meshes
arxiv.org·20h
🐫OCaml
Efficiently Verifiable Proofs of Data Attribution
arxiv.org·4d
✓Automated Theorem Proving
SHLIME: Foiling adversarial attacks fooling SHAP and LIME
arxiv.org·1d
🎮Verification Games
AlphaAgents: Large Language Model based Multi-Agents for Equity Portfolio Constructions
arxiv.org·1d
✓Automated Theorem Proving
When motivation can be more than a message: designing agents to boost physical activity
arxiv.org·20h
🎮Verification Games
Rule2Text: A Framework for Generating and Evaluating Natural Language Explanations of Knowledge Graph Rules
arxiv.org·1d
✓Automated Theorem Proving