Show HN: WebP to PNG converter that runs in the browser
webptopng.dev·15h·
Discuss: Hacker News
🧮Lambda Calculus
Announcing OpenAI Grove
openai.com·1d·
Discuss: Hacker News
🐳Containerization
Synthetic magnetic fields steer light on a chip for faster communications
phys.org·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Page Object (2013)
martinfowler.com·2d·
Discuss: Hacker News
📊Runtime Verification
Worms reveal just how cramped cells really are
ucdavis.edu·1d·
Discuss: Hacker News
🔧Unikernel Development
Testing Claude’s Native Integration with Reminders and Calendar on iOS and iPadOS
macstories.net·3d·
Discuss: Hacker News
🍎Apple
Powering Crypto Workloads with Sub-100ms Latency
risingwave.com·2d·
Discuss: Hacker News
👁️System Observability
Windows KASLR Bypass – CVE-2025-53136
crowdfense.com·2d·
Discuss: Hacker News
👁️System Observability
Show HN: Sphinx – the Jupyter-native AI copilot for data scientists
sphinx.ai·4d·
Discuss: Hacker News
🧠Automated Reasoning
Reasonably accurate, privacy conscious, cookieless, visitor tracking for WordPress
shkspr.mobi·2d·
Discuss: Hacker News, shkspr.mobi
🧮Lambda Calculus
Cross-platform gRPC Test tool
reddit.com·2d·
Discuss: r/programming
📺Vintage Apple
A Robot Wrote My Research
particle.scitech.org.au·2d·
Discuss: Hacker News
✓Automated Theorem Proving
A Low-Rank tensor framework for THB-Splines
arxiv.org·1d
🐫OCaml
Show HN: Modular, LLM-optimized OpenAPI docs – deterministic URLs
news.ycombinator.com·4d·
Discuss: Hacker News
💎Refinement Types
A Fragile Number Sense: Probing the Elemental Limits of Numerical Reasoning in LLMs
arxiv.org·4d
📚Automata Learning
Chirality in Action: Time-Aware Video Representation Learning by Latent Straightening
arxiv.org·2d
📚Automata Learning
Acceptability of AI Assistants for Privacy: Perceptions of Experts and Users on Personalized Privacy Assistants
arxiv.org·2d
✓Automated Theorem Proving
Why I'm not trying to freeze and revive a mouse
lesswrong.com·1d
🩹Self-Healing Systems
Feasibility-Guided Fair Adaptive Offline Reinforcement Learning for Medicaid Care Management
arxiv.org·1d
📚Automata Learning
Apple TV+ is about to kick off four weeks straight of big premieres
9to5mac.com·1d
🍎Apple