Tech

Formal Proof Systems Reveal Overlooked Ambiguities in Advanced Mathematics

by

Table Of Links Abstract Acknowledgements & Introduction 2. Universal properties 3. Products in practice 4. Universal properties in algebraic geometry 5. The problem with Grothendieck’s use of equality. 6. More on “canonical” maps 7. Canonical isomorphisms in more advanced mathematics 8. Summary And References Summary And References Whilst I am not making any claims about … Read more

Mamoru Hosoda explains why Hamlet is everywhere this year

by

Hamlet is having something of a renaissance in 2025. This year’s edition of the Toronto International Film Festival featured three different takes on the idea, including Chloé Zhao’s adaptation of the play’s inspiration and Aneil Karia’s rendition set in modern-day London. But the most out-there version came from Belle director Mamoru Hosoda, who transformed Shakespeare’s … Read more

How I Built an Accurate Calorie & Nutrition Calculator for Subway

by

As a developer passionate about health tech, I noticed a gap in the market. While Subway offers nutritional information, customers lack an interactive tool to customize their exact meal combinations. I wanted to create something that would give people real-time insights into their meal choices, right down to the last calorie. The challenge was clear: … Read more

MCP Is Here to Save Developers From the AI Agent Glue-Code Nightmare

by

I have spent the last eighteen months working as a digital janitor. My job title says “Software Engineer,” but my day-to-day reality has been far less glamorous. I’ve been building glue. Not the industrial-strength adhesive that holds skyscrapers together. I’m talking about the digital equivalent of duct tape, used to bind one proprietary AI API … Read more

Disney accuses Google of ‘massive’ copyright infringement following deal with OpenAI

by

Disney has accused Google of engaging in copyright infringement on a “massive scale,” claiming its AI models have generated content resembling characters from Frozen, Deadpool, Star Wars, and others, according to reports from Variety and Deadline. In a cease-and-desist letter sent on Wednesday, Disney demands that Google stop allegedly infringing on its copyrighted works. Disney … Read more

How DataHaven’s Camp Haven XP System Plans to Build a Decentralized Storage Network

by

What happens when a decentralized storage network needs to prove it can handle real demand before launching its token?  DataHaven has an answer: gamify the testing process, educate users about data ownership, and reward early participants with airdrops.  The project has launched Camp Haven, an activation campaign that doubles as a large-scale stress test for … Read more

WhatsApp is trying to reinvent voicemail

by

WhatsApp says it’s making “voicemails a thing of the past” by introducing a new feature that pretty much works like voicemail. Missed call messages are rolling out as part of WhatsApp’s latest feature drop, which makes it easier for you to leave voice or video notes in chats after you’ve called someone who doesn’t answer … Read more

Relax, grown-ups: VR is doing fine

by

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. When news broke last week that Meta may cut the budget of its Meta Reality Labs unit by as much as 30 percent, followed by reports that the company is … Read more

Blazor vs React: Why This .NET Architect Finally Picked a Side

by

Blazor vs React is a question every .NET developer eventually asks. Blazor lets you build interactive web UIs with C# instead of JavaScript. If you’re already a .NET developer, this means one language, one ecosystem, and far fewer existential crises about which state management library to use this quarter. Table of Contents What Is Blazor, Anyway? … Read more

State AGs warn Google, Meta, and OpenAI that their chatbots could be breaking the law

by

State attorneys general from across the US are demanding more accountability from AI companies, warning them that their chatbots may be violating state laws. As reported by Reuters, the AGs have given Meta, Google, OpenAI, and others a deadline of January 16th, 2026 to respond to demands for more safety measures for generative AI, saying … Read more

What most VCs won’t tell you about raising capital

by

Venture capitalists Ross Fubini (XYZ Ventures) and Leslie Feinzaig (Graham & Walker Ventures) pull back the curtain on how VCs build their own go-to-market strategies — not just how they evaluate startups, but also how they win over LPs and founders alike. In this episode of Build Mode, they share hard-won lessons from raising their … Read more