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...
Approved with 99.89% support, the proposal updates issuance and buyback parameters that govern how INJ is removed from circulation over time....
EA and Battlefield Studios have announced the Battlefield 6 Season 2 release date has been delayed as it works to address community feedback with an extended Season 1. The team behind last year’s new ...
Prediction market apps are thriving in Trump's second term, with traders betting on migrant deportations to election outcomes. A community of young, mostly male and very online traders are driving the...
I'm an engineer who spent the last year fixing everything I hated about monofonts (especially that double-story 'a'). I built a custom Python-based procedural engine to generate the weights because I ...
It looks like the wave of campaigns against data centers are getting under big tech companies' skin - and Microsoft is the latest giant to promise to address frustrations on the ground in communities ...
I built an unofficial CLI and MCP server for Lambda cloud GPU instances. The main idea: your AI agents can now spin up and manage Lambda GPUs for you. The MCP server exposes tools to find, launch, and...
Hey HN, we trained and open-sourced a 1.5B model that predicts your next edits, similar to Cursor. You can download the weights here ( https://huggingface.co/sweepai/sweep-next-edit-1.5b ) or try it i...
Brian Chesky said no one was weight lifting when he came to Silicon Valley in the 2000s. Myunggu Han/Getty Images for Airbnb Airbnb CEO Brian Chesky said he's been surprised to see the tech community ...
Larry Hryb, better known to legions of fans as Xbox's former communications director Major Nelson, has reported being laid off from his new role at Unity. In a post on Twitter/X, Hryb shared an image ...
Lindsay Kaplan is a former marketing executive and cofounder of Chief, a networking company for women. Courtesy of Lindsay Kaplan Attention is a hot commodity in the age of social media overload &mdas...
Hi HN, we're Sam, Shane, and Abhi. Almost a year ago, we first shared Mastra here ( https://news.ycombinator.com/item?id=43103073 ). It’s kind of fun looking back since we were only a few months into ...
Alexis Ohanian said he doesn't miss Reddit. Amal Alhasan/Getty Images for Fortune Media Reddit's cofounder, Alexis Ohanian, said he does not miss being in leadership at the company. He conducted an &#...
Amazon has announced that its MMO, New World, will be officially taken offline from all platforms on January 31, 2027. The game is now delisted, which means it is no longer available for purchase. You...
Hey Hacker News The ones that know me here know that I am a productivity geek. After DockFlow to manage my Dock and ExtraDock, which gives me more space to manage my apps and files, I decided to tackl...
Hey HN! Wanted to show our open source agent harness called Gambit. If you’re not familiar, agent harnesses are sort of like an operating system for an agent... they handle tool calling, planning, con...
Ryanair CEO Michael O'Leary at Wednesday's press conference. Brian Lawless/PA Images via Getty Images Ryanair is escalating its feud with Elon Musk by hand-delivering an airline ticket. CEO Michael O'...
Alex Karp, CEO of Palantir, said vocational skills will be in high demand in the AI era. Fabrice COFFRINI / AFP via Getty Images Alex Karp, the CEO and cofounder of Palantir, doesn't have a technical ...
Partiful A new way to flirt just dropped. Partiful wants you to shoot your shot in the RSVPs. The party invite app recently launched a tool called "Crush" that lets people match with mutuals. ...
Anthropic's Claude Cowork AI tool, which has launched as a research preview this week. Anthropic Anthropic employees used Claude to build Cowork, its new agentic tool launched this week. The AI startu...