Breaking the Sound Barrier of 1M TPS Blockchain
blog.ormilabs.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Synthetic magnetic fields steer light on a chip for faster communications
phys.org·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Page Object (2013)
martinfowler.com·3d·
Discuss: Hacker News
📊Runtime Verification
Findings from six months of running `govulncheck` in CI
brandur.org·3d·
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·4d·
Discuss: Hacker News
🍎Apple
Powering Crypto Workloads with Sub-100ms Latency
risingwave.com·3d·
Discuss: Hacker News
👁️System Observability
Non T series Processor in mini pc?
preview.redd.it·1h·
Discuss: r/homelab
💾Retro Computing
Reasonably accurate, privacy conscious, cookieless, visitor tracking for WordPress
shkspr.mobi·3d·
Discuss: Hacker News, shkspr.mobi
🧮Lambda Calculus
Cross-platform gRPC Test tool
reddit.com·3d·
Discuss: r/programming
📺Vintage Apple
A Robot Wrote My Research
particle.scitech.org.au·3d·
Discuss: Hacker News
✓Automated Theorem Proving
The Astronaut and the Planet: Part I
lesswrong.com·3d
🩹Self-Healing Systems
A Low-Rank tensor framework for THB-Splines
arxiv.org·2d
🐫OCaml
Show HN: Modular, LLM-optimized OpenAPI docs – deterministic URLs
news.ycombinator.com·5d·
Discuss: Hacker News
💎Refinement Types
A Fragile Number Sense: Probing the Elemental Limits of Numerical Reasoning in LLMs
arxiv.org·5d
📚Automata Learning
Show HN: EZLive – lightweight serverless self-hosted livestream
github.com·5h·
Discuss: Hacker News
🏠HomeLab
Chirality in Action: Time-Aware Video Representation Learning by Latent Straightening
arxiv.org·3d
📚Automata Learning
Why I'm not trying to freeze and revive a mouse
lesswrong.com·2d
🩹Self-Healing Systems
Apple TV+ is about to kick off four weeks straight of big premieres
9to5mac.com·1d
🍎Apple
Acceptability of AI Assistants for Privacy: Perceptions of Experts and Users on Personalized Privacy Assistants
arxiv.org·3d
✓Automated Theorem Proving