| 1. | AI solves Erdos problem #728 (Terence Tao mathstodon post) | (mathstodon.xyz) |
|
|
Recently, the application of AI tools to Erdos problems passed a milestone: an Erdos problem (#728 https://www.erdosproblems.com/728) was solved more or less autonomously by AI (after some feedback from an initial attempt), in the spirit of the problem (as reconstructed by the Erdos problem website community), with the result (to the best of our knowledge) not replicated in existing literature (although similar results proven by similar methods were located). This is a demonstration of the genuine increase in capability of these tools in recent months, and is largely consistent with other recent demonstrations of AI using existing methods to resolve Erdos problems, although in most previous cases a solution to these problems was later located in the literature, as discussed in https://mathstodon.xyz/deck/@tao/115788262274999408 . This particular case was unusual in that the problem as stated by Erdos was misformulated, with a reconstruction of the problem in the intended spirit only obtained in the last few months, which helps explain the lack of prior literature on the problem. However, I would like to talk here about another aspect of the story which I find more interesting than the solution itself, which is the emerging AI-powered capability to rapidly write and rewrite expositions of the solution. (1/5) | |
| 5 points by cod1r 12 hours ago | 0 comments |
| 2. | The Performance Revolution in JavaScript Tooling | (blog.appsignal.com) |
|
Let's explore some tools that have driven dramatic performance improvements and other innovations in the JavaScript ecosystem. | |
| 4 points by PaulHoule 6 days ago | 0 comments |
| 3. | Changes to Android Open Source Project | (source.android.com) |
|
|
Android unites the world! Use the open source Android operating system to power your device. | |
| 7 points by TechTechTech 3 days ago | 3 comments |
| 4. | JavaScript Demos in 140 Characters | (dwitter.net) |
|
|
Dwitter is a social network for building and sharing visual javascript demos limited to 140 characters. See the impressive creations crammed into so few characters, and play around with your own code! | |
| 16 points by themanmaran 16 hours ago | 3 comments |
| 5. | Greenland sharks maintain vision for centuries through DNA repair mechanism | (phys.org) |
|
|
||
| 4 points by pseudolus 3 days ago | 0 comments |
| 6. | Start your meetings at 5 minutes past | (philipotoole.com) |
|
|
I work as an Engineering Manager at Google, and my teams practice a simple habit - we book all meetings to start at five minutes past the hour (or half hour). This works better than trying to finish five minutes early. Meetings often don't finish on time, and the impact is highest with back-to-back meetings.… | |
| 3 points by otoolep 12 hours ago | 0 comments |
| 7. | Diving into Qualcomm's Upcoming Adreno X2 GPU with Eric Demers | (chipsandcheese.com) |
|
Hello you fine Internet folks, | |
| 5 points by rbanffy 4 days ago | 0 comments |
| 8. | You probably don't need Oh My Zsh | (rushter.com) |
|
Why you might not need Oh My Zsh for your Zsh configuration. | |
| 12 points by fla 6 hours ago | 3 comments |
| 9. | How Markdown Took over the World | (anildash.com) |
|
|
A blog about making culture. Since 1999. | |
| 6 points by zdw 17 hours ago | 1 comments |
| 10. | RTX 5090 and Raspberry Pi: Can It Game? | (scottjg.com) |
|
|
It turns out, you can attach an external GPU to a Raspberry Pi 5. So my natural first question is, can I game on it? Let’s try it out and compare it with some similar computers. For the showdown of crappy gaming computers, we’ll see which of these handles gaming best: Beelink MINI-S13 CPU: 4-core Intel N150 @ 3.6GHz RAM: 16GB DDR4 PCIe: M.2 Gen3 x4 More powerful than the Raspberry Pi 5, but at a similar price point. It also has a potential advantage for running games, since it’s not ARM-based. | |
| 9 points by scottjg 15 hours ago | 0 comments |
| 11. | How Will the Miracle Happen Today? | (kk.org) |
|
||
| 5 points by zdw 5 days ago | 0 comments |
| 12. | Alien: Braun Aromaster KF 20 Coffee Makers (2012) | (alienexplorations.blogspot.com) |
|
||
| 5 points by exvi 7 days ago | 1 comments |
| 13. | Samsung Galaxy Z TriFold hands-on | (mashable.com) |
|
|
We tried the Samsung Galaxy Z TriFold at CES 2026. What you'll love about this phone, and what you might not. | |
| 4 points by kristianp 2 days ago | 0 comments |
| 14. | Show HN: Rocket Launch and Orbit Simulator | (donutthejedi.com) |
|
|
||
| 9 points by donutthejedi 15 hours ago | 2 comments |
| 15. | Show HN: Scroll Wikipedia like TikTok | (quack.sdan.io) |
|
Scroll Wikipedia like TikTok. | |
| 4 points by sdan 16 hours ago | 0 comments |
| 16. | Scientists discover oldest poison, on 60k-year-old arrows | (nytimes.com) |
|
|
||
| 5 points by noleary 1 day ago | 0 comments |
| 17. | Cloudflare CEO on the Italy Fines | (twitter.com) |
|
|
||
| 14 points by sidcool 18 hours ago | 3 comments |
| 18. | Favorite Tech Museums | (aresluna.org) |
|
A photo essay of 20-something best tech museums I’ve been to… and three bad ones | |
| 3 points by justincormack 4 days ago | 0 comments |
| 19. | AI Zealotry | (matthewrocklin.com) |
|
Senior engineers are best positioned to benefit from AI. We're good enough to avoid slop, and there's so much we can accomplish. I wouldn't go back. | |
| 14 points by akshayka 16 hours ago | 4 comments |
| 20. | OLED Not for Me | (nuxx.net) |
|
|
||
| 6 points by c0nsumer 7 hours ago | 7 comments |
| 21. | How to Code Claude Code in 200 Lines of Code | (mihaileric.com) |
|
|
The core of tools like Claude Code, Cursor, and Warp isn't magic. It's about 200 lines of straightforward Python. Let's build one from scratch. | |
| 11 points by nutellalover 1 day ago | 2 comments |
| 22. | The paradox of failed resolutions | (jillianhess.substack.com) |
|
Notebooks are where resolutions are made and where they are broken. | |
| 3 points by nobet 3 days ago | 0 comments |
| 23. | The (likely?) cheapest home-made Michelson interferometer | (guille.site) |
|
|
||
| 4 points by LolWolf 5 days ago | 0 comments |
| 24. | Kagi releases alpha version of Orion for Linux | (help.kagi.com) |
|
Kagi Search Help | |
| 29 points by HelloUsername 22 hours ago | 3 comments |
| 25. | How to store a chess position in 26 bytes | (ezzeriesa.notion.site) |
|
A tool that connects everyday work into one space. It gives you and your teams AI tools—search, writing, note-taking—inside an all-in-one, flexible workspace. | |
| 20 points by kurinikku 19 hours ago | 3 comments |
| 26. | Flock Hardcoded the Password for America's Surveillance Infrastructure 53 Times | (nexanet.ai) |
|
|
A responsible disclosure documenting an organization-wide ArcGIS API key exposed across 53 public-facing assets, granting access to the mapping infrastructure underlying approximately 12,000 law enforcement, community, and private sector deployments. | |
| 10 points by fuck_flock 18 hours ago | 1 comments |
| 27. | Show HN: I made a memory game to teach you to play piano by ear | (lend-me-your-ears.specr.net) |
|
A Simon-style musical ear training game. Listen to melodies and play them back on piano. Practice mode with sheet music notation or play-by-ear mode. MIDI keyboard support. | |
| 16 points by vunderba 17 hours ago | 3 comments |
| 28. | Show HN: Similarity = cosine(your_GitHub_stars, Karpathy) Client-side | (puzer.github.io) |
|
|
||
| 3 points by puzer 3 days ago | 1 comments |
| 29. | Sigmund Freud's Begonia | (observer.co.uk) |
|
How the gift of a plant helped Emma Freud finally get to know her great-grandfather | |
| 6 points by dang 13 hours ago | 2 comments |
| 30. | Linux Runs on Raspberry Pi RP2350's Hazard3 RISC-V Cores (2024) | (hackster.io) |
|
This Buildroot-based basic Linux distribution runs natively on the RP2350's Hazard3 RISC-V cores — albeit not very quickly. | |
| 7 points by walterbell 6 days ago | 0 comments |