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...
7hHacker NewsTechnologyImpact
Article URL: https://leanprover-community.github.io/lt2026/schedule.html Comments URL: https://news.ycombinator.com/item?id=46711171 Points: 4 # Comments: 0...
Instead of going on a trip with my partner, I headed to a new country all by myself and don't regret it. Leanna Coy I was supposed to go on a trip with my boyfriend, but we fought before our flights a...
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...
The author and her husband traveled the world together before eloping. Courtesy of Zoe Ashbridge I met my husband at work, and we decided to quit our jobs together to cycle around the world. We saved ...
https://www.tiktok.com/@recursecenter/video/7597943894319369... Comments URL: https://news.ycombinator.com/item?id=46712547 Points: 5 # Comments: 0...
Article URL: https://economicsfromthetopdown.com/2026/01/15/an-unfolding-scientific-revolution-in-cosmology/ Comments URL: https://news.ycombinator.com/item?id=46641007 Points: 8 # 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://www.bbc.com/future/article/20260116-an-elizabethan-mansions-secrets-for-staying-warm Comments URL: https://news.ycombinator.com/item?id=46659550 Points: 4 # Comments: 0...
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...
German Chancellor Friedrich Merz’s first visit to Asia has raised India’s hopes for a long-awaited trade pact with the European Union as Berlin pushes for deeper engagement with South Asia amid height...
Article URL: https://www.seanmuirhead.com/blog/targeted-bets Comments URL: https://news.ycombinator.com/item?id=46684815 Points: 3 # 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...
DIMDEX 2026 opens in Qatari capital, bringing together industry leaders and military officials....
Bridget and Mark Rogers are brought together by Indiana University football, and for them it's more....