Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
Lasm has been my dream for a good part of 2026. I firmly believe that formal verification is the next evolution of softw…
标签：Apps
共 81 篇相关文章
Andy Jassy says Prime Video is on track to earn ‘tens of billions of dollars’
The success of blockbuster hits like Project Hail Mary and Verity is only part of the story, Amazon's CEO says.
As search traffic dries up, Reddit announces it’s shifting to a logged-in experience
As AI transforms how people find information online, Reddit is rethinking its open-web roots to protect its audience and…
Meta quietly launches an AI fashion app called Style Sketch
The app connects to Instagram to build a virtual closet from photos you’ve already shared, or lets you add items manuall…
Granola crunches up a dictation feature to compete with Wispr
Uno reverse! After Wispr added meeting notes to its dictation app, Granola is adding dictation to its meeting notetaker.…
SuperMe raises $20M for its network of AI expert profiles
SuperMe is a network of AI profiles built from the knowledge of real-life experts. When you ask a question, the platform…
Wabi, the AI agent that builds mini apps, now valued at $1.25B after latest round
On Thursday, AI app, Wabi, now describing itself as a "personal agent," said it has raised $55 million at a $1.25 billio…
DoorDash to acquire Instacart for $17B
The acquisition would bring two major players in on-demand delivery under one roof, combining DoorDash’s dominance in re…
Chrome’s AI-powered Autofill can now dig through your Gmail to fill out forms
The autofill update lets Chrome pull flight confirmations, tracking info, order details, and other information from your…
As AI agents reshape the web, Google opens Gemini and Search to more apps
A new developer platform will let businesses bring their services to Google's AI experiences, potentially changing how c…
Reddit is the latest platform to embrace the ‘For You’ feed
The For You feed combines posts from communities users have joined with recommendations tailored to their interests.
TikTok expands into restaurant guides with ‘Must Eat’ feature
The move puts TikTok in more direct competition with platforms like Yelp and Google.