Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·4d·
Discuss: Hacker News
🦀Rust
Flag this post
NY Smartphone Ban Has Made Lunch Loud Again
gothamist.com·1d·
Discuss: Hacker News
💪Fitness
Flag this post
Michael Burry is back with two bets against Nvidia and Palantir
cnn.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·5d·
Discuss: Lobsters, Hacker News
🦀Rust
Flag this post
Google pulls AI model after senator says it fabricated assault allegation
theverge.com·3d·
Discuss: Hacker News
💪Fitness
Flag this post
Microsoft, Google say their data centers create thousands of jobs. Their permit filings say otherwise
restofworld.org·1d·
Discuss: Hacker News
💪Fitness
Flag this post
Why AC is cheap, but AC repair is a luxury
a16z.substack.com·3d·
Discuss: Substack
💪Fitness
Flag this post
Founder in Residence at Woz (San Francisco)
news.ycombinator.com·1d·
Discuss: Hacker News
📊DataScience
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·6d·
Discuss: Hacker News, r/typescript
🦀Rust
Flag this post
GM Deprecating In-Car App Store for Models as Recent as 2020
gmauthority.com·2d·
Discuss: Hacker News
💪Fitness
Flag this post
Man spent 200 days building a solar-powered explorer yacht that can run forever
supercarblondie.com·2d·
Discuss: Hacker News
💪Fitness
Flag this post
Pain Points of OCaml
quamserena.com·3d·
Discuss: Lobsters, Hacker News
🦀Rust
Flag this post
IKEA launches new smart home range with 21 Matter-compatible products
ikea.com·17h·
Discuss: Hacker News
💪Fitness
Flag this post
I analyzed 180M jobs to see what jobs AI is replacing today
bloomberry.com·3d·
Discuss: Hacker News
📊DataScience
Flag this post
FreeBSD Officially Supported in OCI Runtime Specification v1.3
freebsdfoundation.org·2d·
Discuss: Lobsters, Hacker News, Hacker News
📊DataScience
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·3d·
Discuss: Lobsters, Hacker News
🦀Rust
Flag this post
Changelog #300
rust-analyzer.github.io·4d·
Discuss: r/rust
🦀Rust
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·5d·
Discuss: Lobsters, Hacker News
🦀Rust
Flag this post
Norway reviews cybersecurity after remote-access feature found in Chinese buses
scandasia.com·1d·
Discuss: Hacker News
📊DataScience
Flag this post
iOS 26.2 to Allow Third-Party App Stores in Japan Ahead of Regulatory Deadline
macrumors.com·1d·
Discuss: Hacker News
💪Fitness
Flag this post