Intel Starts Shipping High-NA EUV Silicon

Introduction to Formal Verification with Lean Part 1

Over the past few months, our team has been building more and more slidedecks using web frontend technologies with coding harnesses like Claude Code, but a common complaint is to make even small edits we need to edit the code either manually or via the harness.To avoid this loop, I ended up creating Bento, a single HTML file with everything you need in a slide tool including animations and shared editing. There&#x27;s no install or cloud login, everything works offline. The default deck is around 560 KB and it doesn&#x27;t need to fetch anything once you got it.Open it in a browser and then you can edit, present, print and save. Share it via email or via Airdrop and all they need is a browser to edit, present and also do live collab on the slides. Drop it in to Claude or ChatGPT to transform existing pptx files into Bento slides. There is no cloud involved, only an encrypted blind relay to allow for shared editing. The relay doesn&#x27;t see any of the data.Check it out at <a href="https:&#x2F;&#x2F;bento.page&#x2F;slides&#x2F;" rel="nofollow">https:&#x2F;&#x2F;bento.page&#x2F;slides&#x2F;</a> which takes you straight to the editor.Go to <a href="https:&#x2F;&#x2F;bento.page&#x2F;guestbook&#x2F;" rel="nofollow">https:&#x2F;&#x2F;bento.page&#x2F;guestbook&#x2F;</a> to try out the live guestbook to experience share editing &#x2F; collab.There is also a gallery with some sample decks on the website - <a href="https:&#x2F;&#x2F;bento.page&#x2F;" rel="nofollow">https:&#x2F;&#x2F;bento.page&#x2F;</a>All the code is MIT licensed and you can find it here - <a href="https:&#x2F;&#x2F;github.com&#x2F;nyblnet&#x2F;bento" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;nyblnet&#x2F;bento</a> . I used reveal.js with several other libraries (including some homegrown ones), and Claude Code.

Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)

<a href="https:&#x2F;&#x2F;xcancel.com&#x2F;nikitabier&#x2F;status&#x2F;2079787406300266743" rel="nofollow">https:&#x2F;&#x2F;xcancel.com&#x2F;nikitabier&#x2F;status&#x2F;2079787406300266743</a>

Passkeys were invented by engineers with zero understanding of consumer brain

Original Apollo 11 Guidance Computer source code for command and lunar modules

The startup's Postgres survival guide

10 REM"_(C2SLFF4

Show HN: HN Hall of Fame – browse 3,100 legendary Hacker News links

Cornell's Interactive Wall of Birds

OpenNode – Bitcoin Payment Processor

Making

Most Americans say "not in my backyard" to AI data centers

Airbus Full Scale Foldable Wing Extensions

Hologram works. Elixir runs in the browser

<a href="https:&#x2F;&#x2F;xcancel.com&#x2F;mkratsios47&#x2F;status&#x2F;2079933645888880708" rel="nofollow">https:&#x2F;&#x2F;xcancel.com&#x2F;mkratsios47&#x2F;status&#x2F;2079933645888880708</a>

HN