The language brain matters more for learning programming than the math brain
https://massivesci.com/articles/programming-math-language-python-women-in-science/
https://massivesci.com/articles/programming-math-language-python-women-in-science/
Massive Science
Your language brain matters more for learning programming than your math brain
New research contradicts long held assumptions about coding
Universal Antivenom May Grow Out of Man Who Let Snakes Bite Him 100s of Times
https://www.nytimes.com/2025/05/02/health/snakes-universal-antivenom-tim-friede.html
https://www.nytimes.com/2025/05/02/health/snakes-universal-antivenom-tim-friede.html
NY Times
Universal Antivenom May Grow Out of Man Who Let Snakes Bite Him 200 Times
Scientists identified antibodies that neutralized the poison in whole or in part from the bites of cobras, mambas and other deadly species.
Building Burstables: CPU slicing with cgroups
https://www.ubicloud.com/blog/building-burstables-cpu-slicing-with-cgroups
https://www.ubicloud.com/blog/building-burstables-cpu-slicing-with-cgroups
Ubicloud
Building Burstables: cpu slicing with cgroups
Burstable VMs run on a fraction of CPU and burst to a higher level of CPU usage to support occasional usage spikes. To implement them, we leveraged Control Groups v2 (cgroups v2), a Linux kernel feature that helps manage resource usage. We thought our open…
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.