Toma (YC W24) Is Hiring Engs #3-4 (AI for Automotive)
https://www.ycombinator.com/companies/toma/jobs
https://www.ycombinator.com/companies/toma/jobs
Y Combinator
Jobs at Toma
The first driverless semis have started running regular longhaul routes
https://www.cnn.com/2025/05/01/business/first-driverless-semis-started-regular-routes
https://www.cnn.com/2025/05/01/business/first-driverless-semis-started-regular-routes
CNN
The first driverless semis have started running regular longhaul routes
Driverless trucks are officially running their first regular long-haul routes, making roundtrips between Dallas and Houston.
The Impossible Contradictions of Mark Twain
https://www.newyorker.com/magazine/2025/05/05/mark-twain-ron-chernow-book-review
https://www.newyorker.com/magazine/2025/05/05/mark-twain-ron-chernow-book-review
The New Yorker
The Impossible Contradictions of Mark Twain
Populist and patrician, hustler and moralist, salesman and satirist, he embodied the tensions within his America, and ours.
A proof of concept tool to verify estimates
https://terrytao.wordpress.com/2025/05/01/a-proof-of-concept-tool-to-verify-estimates/
https://terrytao.wordpress.com/2025/05/01/a-proof-of-concept-tool-to-verify-estimates/
What's new
A proof of concept tool to verify estimates
This post was inspired by some recent discussions with Bjoern Bringmann. Symbolic math software packages are highly developed for many mathematical tasks in areas such as algebra, calculus, and num…
Demo Driven Development: Show, Don't Just Tell
https://shubhanshu.com/blog/demo-driven-development.html#demo-driven-development
https://shubhanshu.com/blog/demo-driven-development.html#demo-driven-development
Interpreting Models
Demo Driven Development: Show, Don't Just Tell
GitDroid: A third party Android app manager for apps uploaded to GitHub releases
https://github.com/TechnicJelle/GitDroid
https://github.com/TechnicJelle/GitDroid
GitHub
GitHub - TechnicJelle/GitDroid: A third party Android app manager for apps uploaded to GitHub releases
A third party Android app manager for apps uploaded to GitHub releases - TechnicJelle/GitDroid
ePub-utils: A Python library and CLI tool for inspecting ePub from the terminal
https://github.com/ernestofgonzalez/epub-utils
https://github.com/ernestofgonzalez/epub-utils
GitHub
GitHub - ernestofgonzalez/epub-utils: A Python CLI and utility library for manipulating EPUB files
A Python CLI and utility library for manipulating EPUB files - ernestofgonzalez/epub-utils
Connomore64: Cycle exact emulation of the C64 using parallel microcontrollers
https://github.com/c1570/Connomore64
https://github.com/c1570/Connomore64
GitHub
GitHub - c1570/Connomore64: Realtime cycle exact emulation of the C64 using multiple microcontrollers in parallel.
Realtime cycle exact emulation of the C64 using multiple microcontrollers in parallel. - c1570/Connomore64
The number of new apartments is at a 50-year high, but states expect a slowdown
https://oregoncapitalchronicle.com/2025/05/02/the-number-of-new-apartments-is-at-a-50-year-high-but-states-expect-a-slowdown/
https://oregoncapitalchronicle.com/2025/05/02/the-number-of-new-apartments-is-at-a-50-year-high-but-states-expect-a-slowdown/
Oregon Capital Chronicle
The number of new apartments is at a 50-year high, but states expect a slowdown
More new apartments were built in 2024, but tariffs and deportations of potential construction workers could slow the boom.
We know a little more about Amazon's super-secret satellites
https://arstechnica.com/space/2025/05/we-finally-know-a-little-more-about-amazons-super-secret-satellites/
https://arstechnica.com/space/2025/05/we-finally-know-a-little-more-about-amazons-super-secret-satellites/
Ars Technica
We finally know a little more about Amazon’s super-secret satellites
Amazon’s Kuiper satellites look nothing like SpaceX’s Starlink.
Show HN: Use Third Party LLM API in JetBrains AI Assistant
https://github.com/Stream29/ProxyAsLocalModel
https://github.com/Stream29/ProxyAsLocalModel
GitHub
GitHub - Stream29/ProxyAsLocalModel: Proxy remote LLM API as Ollama and LM Studio, for using them in JetBrains AI Assistant
Proxy remote LLM API as Ollama and LM Studio, for using them in JetBrains AI Assistant - Stream29/ProxyAsLocalModel
Time saved by AI offset by new work created, study suggests
https://arstechnica.com/ai/2025/05/time-saved-by-ai-offset-by-new-work-created-study-suggests/
https://arstechnica.com/ai/2025/05/time-saved-by-ai-offset-by-new-work-created-study-suggests/
Ars Technica
Time saved by AI offset by new work created, study suggests
Survey of 2023–2024 data finds that AI created more tasks for 8.4 percent of workers.
Google Can Train Search AI with Web Content Even with Opt-Out
https://www.bloomberg.com/news/articles/2025-05-03/google-can-train-search-ai-with-web-content-even-after-opt-out
https://www.bloomberg.com/news/articles/2025-05-03/google-can-train-search-ai-with-web-content-even-after-opt-out
Bloomberg.com
Google Can Train Search AI With Web Content Even After Opt-Out
Google can train its search-specific AI products, like AI Overviews, on content across the web even when the publishers have chosen to opt out of training Google’s AI products, a vice-president of product at the company testified in court on Friday.