L∃AN together – live stream schedule
Article URL: https://leanprover-community.github.io/lt2026/schedule.html Comments URL: https://news.ycombinator.com/item?id=46711171 Points: 4 # Comments: 0...
15hHacker NewsTechnologyImpact
Article URL: https://leanprover-community.github.io/lt2026/schedule.html Comments URL: https://news.ycombinator.com/item?id=46711171 Points: 4 # Comments: 0...
Bezos Alexander Tamargo/Getty Images for America Business Forum Jeff Bezos is escalating his rivalry with Elon Musk in space. His space venture, Blue Origin, unveiled a satellite network aimed at chal...
Siri, are you there? It’s me, Gemini. For an AI loser, Apple did an awful lot of winning last year. The mess that was the Apple Intelligence rollout was embarrassing, to be sure, but through it all, t...
Parents can now manually set a time limit on their kids' YouTube Shorts feed, ranging from fifteen minutes to two hours (with an option for zero minutes coming soon). The update, announced on Wednesda...
https://www.tiktok.com/@recursecenter/video/7597943894319369... Comments URL: https://news.ycombinator.com/item?id=46712547 Points: 5 # Comments: 0...
Consumers are spending more than ever on mobile apps. Anusak Laowilas/NurPhoto via Getty Images The "year of mobile" may finally be upon us. Mobile adtech firm Liftoff filed to go public this ...
Article URL: https://spinoff.nasa.gov/Folding_NASA_Experience_into_an_Origamist%E2%80%99s_Toolkit Comments URL: https://news.ycombinator.com/item?id=46658003 Points: 3 # Comments: 0...
Article URL: https://github.com/eigent-ai/eigent Comments URL: https://news.ycombinator.com/item?id=46618954 Points: 3 # Comments: 0...
Article URL: https://www.flux.utah.edu/paper/singh-pets26 Comments URL: https://news.ycombinator.com/item?id=46608802 Points: 4 # Comments: 0...
Article URL: https://www.doom2.net/doom2/cheating.html Comments URL: https://news.ycombinator.com/item?id=46656909 Points: 3 # Comments: 1...
Article URL: https://www.eff.org/deeplinks/2026/01/so-youve-hit-age-gate-what-now Comments URL: https://news.ycombinator.com/item?id=46619030 Points: 14 # Comments: 1...
Article URL: https://polysoftit.co.uk/irisc-web/ Comments URL: https://news.ycombinator.com/item?id=46663467 Points: 3 # Comments: 1...
An Amazon Web Services data center in Ashburn, Virginia, US, on Tuesday, Oct. 28, 2025. | Photo: Getty Images The Trump administration and a bipartisan group of governors are pressuring the PJM Interc...
Apple is working on an AI-powered wearable pin with cameras and microphones designed to pick up a user's surroundings, according to a report from The Information . The rumored device is reportedly the...
The images in the background serve as covers for each song on The Eleven Album. | Image: ElevenLabs / The Verge ElevenLabs has released an album of AI-generated songs in its latest attempt to separate...
This project is a tool for engineers who live in the terminal and are tired of losing their command history to ephemeral servers or fragmented `.bash_history` files. If you’re jumping between dozens o...
Volvo's EX60, with fast-charging capabilities and a brand-new electric architecture, made its official debut today, with the Swedish automaker positioning the crossover EV as a new direction for its b...
Hi HN, I have been working with regulation-heavy documents lately, and one thing kept bothering me. Flat RAG pipelines often fail to retrieve related articles together, even when they are clearly conn...
Article URL: https://aomedia.org/blog%20posts/AV1-Image-File-Format-Specification-Gets-an-Upgrade-with-AVIF/ Comments URL: https://news.ycombinator.com/item?id=46657088 Points: 6 # Comments: 0...
Article URL: https://github.com/loresuso/psc Comments URL: https://news.ycombinator.com/item?id=46646091 Points: 3 # Comments: 0...