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...
2dHacker NewsTechnologyImpact
Article URL: https://leanprover-community.github.io/lt2026/schedule.html Comments URL: https://news.ycombinator.com/item?id=46711171 Points: 4 # Comments: 0...
This is Lowpass by Janko Roettgers , a newsletter on the ever-evolving intersection of tech and entertainment, syndicated just for The Verge subscribers once a week. Last month, Netflix made the surpr...
Microsoft is kicking 2026 off with a new Xbox Developer Direct showcase, which will feature some of the biggest games it has coming out this year. Confirmed to appear at the showcase is Playground’s F...
Streaming services are getting increasingly bloated, more competitive, and more convoluted, and many people are realizing it's actually more expensive than a standard cable subscription if you want to...
Steve Downes, the actor behind Master chief’s iconic voice, has said deceptive AI reproductions of his voice “cross a line that gets into an area I am uncomfortable with” — and he wants it to stop. Sp...
Hi HN! I built Ghibli Search, a semantic search engine for Studio Ghibli movie scenes (e.g. Spirited Away, My Neighbor Totoro, Howl's Moving Castle, etc.). Describe a dreamscape like "flying through c...
Article URL: https://everything2.com/node/e2node/Why%20IRC%20is%20better%20than%20Real%20Life Comments URL: https://news.ycombinator.com/item?id=46611119 Points: 3 # Comments: 0...
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...
Anthem , the failed attempt at a live-service game by Mass Effect and Dragon Age developer BioWare, may be officially offline for good , but some people are keeping the dream alive. Anthem publisher E...
Ubisoft is making some massive changes to its business: As part of a reorganization , the company will focus its efforts on the big open-world games it's famous for along with live service titles, and...
Article URL: https://gist.github.com/radarroark/03a0724484e1111ef4c05d72a935c42c Comments URL: https://news.ycombinator.com/item?id=46668107 Points: 4 # Comments: 0...
NYSE unveiled a plan on Monday to enable blockchain-based 24/7 trading and instant settlement of stocks and ETFs, in addition to custody features....
Article URL: https://questdb.com/blog/jvm-current-thread-user-time/ Comments URL: https://news.ycombinator.com/item?id=46609630 Points: 4 # Comments: 1...
Google AI boss tells FT that despite unsustainable exuberance in the tech sector, ‘if the bubble bursts we will be fine’...
Article URL: https://github.com/google-gemini/gemini-cli/issues/16728 Comments URL: https://news.ycombinator.com/item?id=46721179 Points: 3 # Comments: 0...
Article URL: https://www.simplethread.com/redis-solidqueue/ Comments URL: https://news.ycombinator.com/item?id=46614037 Points: 11 # Comments: 2...
Hey all, Justin here. I previously built Phind, the AI search engine for developers. One of the biggest problems we had there was figuring out what went wrong with bad searches. We had tons of searche...
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://blog.urara.pl/hate-is-a-strong-word-but-i-really-really-really-don%27t-like-windows-11 Comments URL: https://news.ycombinator.com/item?id=46709530 Points: 7 # Comments: 1...
Article URL: https://alexharri.com/blog/ascii-rendering Comments URL: https://news.ycombinator.com/item?id=46657122 Points: 4 # Comments: 0...