| 31. | TSA to charge $18 fee for travelers without Real ID or passport | (washingtonpost.com) |
|
|
||
| 11 points by bookofjoe 2 hours ago | 1 comments |
| 32. | The Uncertain Origins of Aspirin | (press.asimov.com) |
|
The history of humanity’s pharmacopeia is often muddied by folklore. What can the origins of aspirin teach us about separating fact from fiction? | |
| 4 points by maxall4 9 hours ago | 0 comments |
| 33. | As 'Dorian Gray' ages, its relevance only grows | (washingtonpost.com) |
|
|
||
| 8 points by apollinaire 10 days ago | 1 comments |
| 34. | Personal blogs are back, should niche blogs be next? | (disassociated.com) |
|
Personal blogs are back, should niche blogs be next? Might good old fashion niche blogs be the solution to rampant social media misinformation, AI slop, and more? | |
| 4 points by gnabgib 1 day ago | 0 comments |
| 35. | Markdown Is Holding You Back | (newsletter.bphogan.com) |
|
Explore why Markdown, despite its ubiquity, might not be the best fit for technical content. | |
| 8 points by zdw 5 hours ago | 1 comments |
| 36. | Childhood Friends, Not Moms, Shape Attachment Styles Most | (nautil.us) |
|
Childhood Friends, Not Moms, Shape Attachment Styles Most: A new study upends conventional wisdom about how we relate to those closest to us. | |
| 4 points by dnetesn 8 days ago | 1 comments |
| 37. | Terence Tao: At the Erdos problem website, AI assistance now becoming routine | (mathstodon.xyz) |
|
|
Over at the Erdos problem website, AI assistance is now becoming routine. Here is what happened recently regarding Erdos problem #367 https://www.erdosproblems.com/367 : 1. On Nov 20, Wouter van Doorn produced a (human-generated) disproof of the second part of this problem, contingent on a congruence identity that he thought was true, and was "sure someoneone here is able to verify... does indeed hold". 2. A few hours later, I posed this problem to Gemini Deepthink, which (after about ten minutes) produced a complete proof of the identity (and confirmed the entire argument): https://gemini.google.com/share/81a65aecfd70 . The argument used some p-adic algebraic number theory which was overkill for this problem. I then spent about half an hour converting the proof by hand into a more elementary proof, which I presented on the site. I then remarked that the resulting proof should be within range of "vibe formalizing" in Lean. 3. Two days later, Boris Alexeev used the Aristotle tool from Harmonic to complete the Lean formalization, making sure to formalize the final statement by hand to guard against AI exploits. This process took two to three hours, and the output can be found at https://borisalexeev.com/t/Erdos367.lean EDIT: after making this post, I decided to round things out by making AI literature searches on this problem, which (after about fifteen minutes) turned up some related literature on consecutive powerful numbers, but nothing directly relating to #367. https://chatgpt.com/share/6921427d-9dc0-800e-b798-be8fc94a9240 https://gemini.google.com/share/0d296454bea0 | |
| 9 points by dwohnitmok 5 hours ago | 0 comments |
| 38. | LAPD Helicopter Tracker with Real-Time Operating Costs | (lapdhelicoptertracker.com) |
|
|
Track LAPD police helicopters in real-time and see how much taxpayer money is being spent. Live aviation monitoring showing active flights, hourly costs, and total expenditure of Los Angeles Police Department air support. | |
| 3 points by polalavik 1 day ago | 0 comments |
| 39. | The Go-Between | (theamericanscholar.org) |
|
|
||
| 3 points by gmays 5 hours ago | 0 comments |
| 40. | The twin probes just launched toward Mars have an Easter egg on board | (arstechnica.com) |
|
Two twin spacecraft are on their way to study the effects of space weather on the planet Mars, adorned by “easter eggs” including a couple of kiwis. | |
| 4 points by pseudolus 7 days ago | 0 comments |
| 41. | Superman copy found in mum's attic is most valuable comic ever at $9.12M | (bbc.com) |
|
It's a bird! It's a plane! It's a new record after Man of Steel comic found in a California home is auctioned. | |
| 16 points by 1659447091 20 hours ago | 2 comments |
| 42. | Arduino Terms of Service and Privacy Policy update: setting the record straight | (blog.arduino.cc) |
|
|
||
| 9 points by manchoz 1 day ago | 2 comments |
| 43. | Helping Valve to Power Up Steam Devices | (igalia.com) |
|
Igalia is an open source consultancy specialised in the development of innovative projects and solutions. Our engineers have expertise in a wide range of technological areas, including browsers and client-side web technologies, graphics pipeline, compilers and virtual machines. We have the most WPE, WebKit, Chromium/Blink and Firefox expertise found in the consulting business, including many reviewers and committers. Igalia designs, develops, customises and optimises GNU/Linux-based solutions for companies across the globe. Our work and contributions are present in many projects such as GStreamer, Mesa 3D, WebKit, Chromium, etc. | |
| 20 points by TingPing 1 day ago | 1 comments |
| 44. | Samsung's 60% DRAM Price Hike Signals a New Phase of Global Memory Tightening | (buysellram.com) |
|
Samsung’s 60% DRAM price hike tightens supply. Learn how rising DDR5 and DDR4 prices impact buyers, sellers, and used RAM markets in 2026. | |
| 3 points by redohmy 7 days ago | 1 comments |
| 45. | Weight-sparse transformers have interpretable circuits [pdf] | (cdn.openai.com) |
|
|
||
| 4 points by 0x79de 8 days ago | 0 comments |
| 46. | Pixar: The Early Days A never-before-seen 1996 interview | (stevejobsarchive.com) |
|
|
A never-before-seen 1996 interview | |
| 5 points by sanj 1 day ago | 0 comments |
| 47. | You only live once, self host a NAT Gateway | (awsistoohard.com) |
|
|
You only live once. | |
| 3 points by veryrealsid 5 days ago | 0 comments |
| 48. | McDonald's is losing its low-income customers: a symptom of the wealth divide | (latimes.com) |
|
These customers are feeling the pressures of higher prices on groceries and apparel and the growing costs of rent and child care, the company's chief executive said in a recent earnings call. | |
| 16 points by PaulHoule 1 day ago | 9 comments |
| 49. | Netherlands opens fire on suspicious drones near base with US nuclear weapons | (kyivindependent.com) |
|
The drones were spotted above the Volkel Air Base overnight, Dutch Defense Minister Ruben Brekelmans said on Nov. 22. The drones flew away after weapons were deployed and an investigation is underway. | |
| 3 points by wslh 3 hours ago | 1 comments |
| 50. | Show HN: Wealthfolio 2.0- Open source investment tracker. Now Mobile and Docker | (wealthfolio.app) |
|
Wealthfolio is an open-source, private, and offline desktop portfolio tracker. Keep your financial data safe on your computer. No subscriptions, no cloud storage - just a straightforward tool to manage your wealth. | |
| 5 points by a-fadil 1 day ago | 0 comments |
| 51. | New Apple Study Shows LLMs Can Tell What You're Doing from Audio and Motion Data | (9to5mac.com) |
|
Apple researchers have published a study that looks into how LLMs can analyze audio and motion data to get a better overview of the user’s activities. | |
| 4 points by andrewrn 10 hours ago | 2 comments |
| 52. | 'The French people want to save us': help pours in for glassmaker Duralex | (theguardian.com) |
|
The brand, which evokes nostalgia and pride, hit its €5m fundraising target within hours and orders have soared | |
| 9 points by n1b0m 10 hours ago | 0 comments |
| 53. | Kodak Ran a Secret Nuclear Device in Its Basement for Decades | (popularmechanics.com) |
|
Beneath Kodak’s labs in Rochester, New York, a nuclear reactor advanced science for decades. The truth about the device is stranger—and tamer—than you may expect. | |
| 7 points by cainxinth 7 days ago | 1 comments |
| 54. | FizzBuzz with Cosines | (susam.net) |
|
|
||
| 6 points by hprotagonist 1 day ago | 1 comments |
| 55. | A time-travelling door bug in Half Life 2 | (mastodon.gamedev.place) |
|
Attached: 1 image Recent discussion about the perils of doors in gamedev reminded me of a bug caused by a door in a game you may have heard of called "Half Life 2". Are you sitting comfortably? Then I shall begin. | |
| 4 points by AshleysBrain 1 day ago | 0 comments |
| 56. | XBMC 4.0 for the Original Xbox | (xbox-scene.info) |
|
A Major Modernization of the Killer App That Started It All A new version of Xbox Media Center (XBMC), version 4.0, has been released. This version marks a significant update to the long-standing media center platform for the Original Xbox. This marks the first major advancement to the software s... | |
| 9 points by zdw 1 day ago | 1 comments |
| 57. | Making a Small RPG | (jslegenddev.substack.com) |
|
I’ve always wanted to try my hand making an RPG but always assumed it would take too much time. | |
| 3 points by ibobev 1 day ago | 0 comments |
| 58. | Scientists now know that bees can process time, a first in insects | (cnn.com) |
|
Bumblebees can process the duration of flashes of light and use the information to decide where to look for food, a new study has found. | |
| 4 points by Brajeshwar 7 days ago | 0 comments |
| 59. | HP and Dell disable HEVC hardware decoding on select laptops as royalties rise | (videocardz.com) |
|
||
| 4 points by MaximilianEmel 2 hours ago | 1 comments |
| 60. | Building a Durable Execution Engine with SQLite | (morling.dev) |
|
|
||
| 13 points by ingve 2 days ago | 0 comments |