· software
Tesla Robotaxis in Austin Crash 12.5x More Frequently Than Humans
Article URL: https://electrek.co/2025/12/15/tesla-reports-another-robotaxi-crash-even-with-supervisor/ Comments URL: https://news.ycombinator.com/item?id=462977...
Source
Hacker News
2466 posts from this source
-
- · software
CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)
Article URL: https://bernsteinbear.com/isdt/ Comments URL: https://news.ycombinator.com/item?id=46297127 Points: 8 Comments: 0...
- · software
Introduction to Software Development Tooling (2024)
Article URL: https://bernsteinbear.com/isdt/ Comments URL: https://news.ycombinator.com/item?id=46297127 Points: 50 Comments: 4...
- · software
Sei AI (YC W22) Is Hiring
Article URL: https://www.ycombinator.com/companies/sei/jobs/TYbKqi0-llm-engineer-mid-senior Comments URL: https://news.ycombinator.com/item?id=46296926 Points:...
- · software
Show HN: Learn Japanese contextually while browsing
Hi HN, Just wanted to share a tool i've been working on to help with my own study routine. It’s a browser extension called Lingoku. The idea is simple: we spend...
- · software
Windows 11 will ask consent before sharing personal files with AI after outrage
Article URL: https://www.windowslatest.com/2025/12/17/microsoft-confirms-windows-11-will-ask-for-consent-before-sharing-your-personal-files-with-ai-after-outrag...
- · software
Americans overestimate how many social media users post harmful content
Article URL: https://academic.oup.com/pnasnexus/article/4/12/pgaf310/8377954?login=false Comments URL: https://news.ycombinator.com/item?id=46296181 Points: 11...
- · software
Dafny: Verification-Aware Programming Language
Article URL: https://dafny.org/ Comments URL: https://news.ycombinator.com/item?id=46295792 Points: 9 Comments: 1...
- · software
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
Article URL: https://simonwillison.net/2025/Dec/15/porting-justhtml/ Comments URL: https://news.ycombinator.com/item?id=46295771 Points: 18 Comments: 0...
- · ai
Reverse-engineering the RK3588 NPU: Hacking limits to run vision transformers
Article URL: https://amohan.dev/blog/2025/shard-optimizing-vision-transformers-edge-npu/ Comments URL: https://news.ycombinator.com/item?id=46294626 Points: 19...
- · software
Reverse-Engineering the RK3588 NPU: Hacking Limits to Run Vision Transformers
Article URL: https://amohan.dev/blog/2025/shard-optimizing-vision-transformers-edge-npu/ Comments URL: https://news.ycombinator.com/item?id=46294626 Points: 8 C...
- · ai
AI will make formal verification go mainstream
Article URL: https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html Comments URL: https://news.ycombinator.com/item?id=46294574 Points: 236 Comment...