Where is Mathematics Going? Large Language Models and Lean Proof Assistant
https://hackaday.com/2025/10/08/where-is-mathematics-going-large-language-models-and-lean-proof-assistant/
https://hackaday.com/2025/10/08/where-is-mathematics-going-large-language-models-and-lean-proof-assistant/
If you’re a hacker you may well have a passing interest in math, and if you have an interest in math you might like to hear about the direction of …read more (https://hackaday.com/2025/10/08/where-is-mathematics-going-large-language-models-and-lean-proof-assistant/)
Why Stepper Motors Still Dominate 3D Printing
https://hackaday.com/2025/10/08/why-stepper-motors-still-dominate-3d-printing/
https://hackaday.com/2025/10/08/why-stepper-motors-still-dominate-3d-printing/
It’s little secret that stepper motors are everywhere in FDM 3D printers, but there’s no real reason why you cannot take another type of DC motor like a brushless DC …read more (https://hackaday.com/2025/10/08/why-stepper-motors-still-dominate-3d-printing/)
Billy Bass Gets New Job as a Voice Assistant
https://hackaday.com/2025/10/09/billy-bass-gets-new-job-as-a-voice-assistant/
https://hackaday.com/2025/10/09/billy-bass-gets-new-job-as-a-voice-assistant/
For those who were alive and conscious before the modern Internet, there were in fact things that went “viral” and became cultural phenomenon for one reason or another. Although they …read more (https://hackaday.com/2025/10/09/billy-bass-gets-new-job-as-a-voice-assistant/)
Google Japan Turn Out Another Keyboard, and it’s a Dial
https://hackaday.com/2025/10/09/google-japan-turn-out-another-keyboard-and-its-a-dial/
https://hackaday.com/2025/10/09/google-japan-turn-out-another-keyboard-and-its-a-dial/
There’s a joke that does the rounds, about a teenager being given a dial phone and being unable to make head nor tail of it. Whether or not it’s true, …read more (https://hackaday.com/2025/10/09/google-japan-turn-out-another-keyboard-and-its-a-dial/)
Meshtastic: A Tale of Two Cities
https://hackaday.com/2025/10/09/meshtastic-a-tale-of-two-cities/
https://hackaday.com/2025/10/09/meshtastic-a-tale-of-two-cities/
If I’m honest with myself, I don’t really need access to an off-grid, fault-tolerant, mesh network like Meshtastic. The weather here in New Jersey isn’t quite so dynamic that there’s …read more (https://hackaday.com/2025/10/09/meshtastic-a-tale-of-two-cities/)
Holy Parachute out of Kirigami
https://hackaday.com/2025/10/09/holy-parachute-out-of-kirigami/
https://hackaday.com/2025/10/09/holy-parachute-out-of-kirigami/
If you have a fear of heights and find yourself falling out of an airplane, you probably don’t want to look up to find your parachute full of holes. However, …read more (https://hackaday.com/2025/10/09/holy-parachute-out-of-kirigami/)
2025 Component Abuse Challenge: Load Cell Anemometer
https://hackaday.com/2025/10/09/2025-component-abuse-challenge-load-cell-anemometer/
https://hackaday.com/2025/10/09/2025-component-abuse-challenge-load-cell-anemometer/
When you think anemometer, you probably don’t think “load cell” — but (statistically speaking) you probably don’t live in Hurricane Country, which is hard on wind-speed-measuring-whirligigs. When [BLANCHARD Jordan] got …read more (https://hackaday.com/2025/10/09/2025-component-abuse-challenge-load-cell-anemometer/)