Hacker News: Front Page

Publishing rhythm

How many articles Hacker News: Front Page published over the last 14 days, by publication time, and at which hours of the day.

The people, places, organizations and topics Hacker News: Front Page covered most that day, by the share of its stories that mention them. Article counts are shown for context.

No keywords that day yet.

Latest articles

• 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 software engineering and programming languages. This next wave will largely be enabled by the incredibly intelligent LLMs that understand formal verification and its programming languages. Lean is one of the most popular languages that allow for formal verification, and to me is incredibly powerful because it is a general purpose programming language with formal verification built directly into it. You can build general purpose software in Lean, and formally verify it in Lean. Amazing. Lasm brings Lean to the browser, Node, serverless, and edge environments (and more). The idea is that you can now write web apps, frontend to backend, in Lean and formally verify these apps. Imagine an Express server or Hono server, running on Cloudflare Workers, with formal verification of its specification. I'm an agentic engineer with an emphasis in software engineering, and Lasm was built mostly by Claude Opus 5.5 with my high-level direction. Comments URL: https://news.ycombinator.com/item?id=50299004 Points: 7 # Comments: 0

  lastmjs · Oct 29, 2026, 10:05 PM EDT

• Pico CSS is no longer maintained

  Article URL: https://github.com/picocss/pico/discussions/754 Comments URL: https://news.ycombinator.com/item?id=50298964 Points: 44 # Comments: 15

  henrid · Oct 29, 2026, 9:58 PM EDT

• Herdr has released native app

  Article URL: https://github.com/herdrdev/herdr-app Comments URL: https://news.ycombinator.com/item?id=50298436 Points: 39 # Comments: 33

  cherioo · Oct 29, 2026, 8:42 PM EDT

• Cormac McCarthy's Library

  Article URL: https://cormacmccarthy.lib.utk.edu/ Comments URL: https://news.ycombinator.com/item?id=50298318 Points: 24 # Comments: 7

  maitland · Oct 29, 2026, 8:31 PM EDT

• Show HN: I Turned DOOM into a Transformer

  Instead of trying to run DOOM on things, I have instead decided to use DOOM (many, many, many doom games actually) to create a transformer. For a lot of the math required I essentially had to use DOOM game mechanics and voodoo dolls (DOOM is turing complete btw) and exchange them with the actual operations, essentially creating an alternative to NumPy (a 65000x slower one). Thus, I am proud to present DOOMFORMER. Here are a list of things DOOMFORMER can do : It can classify MNIST digits, even if you write these digits on the map! It can talk(kinda) You can use it to make decisions, so, it can play DOOM. Yes! You can play DOOM with thousands of DOOM games now! The marine's mind can be controlled by DOOM, playing on a map generated by DOOMFORMER. Truly, the possibilities are endless, and even larger-scale training of DOOMFORMER could be done on a measly T4. If anyone would like to help me scale this up and make crazier things, I'd love to work together. Comments URL: https://news.ycombinator.com/item?id=50297697 Points: 10 # Comments: 1

  falperc · Oct 29, 2026, 7:25 PM EDT

• A Pig, the State, and War: Porco Rosso (Kurenai No Buta) (2014)

  Article URL: https://journal.animationstudies.org/article/id/66/ Comments URL: https://news.ycombinator.com/item?id=50297089 Points: 29 # Comments: 1

  simonebrunozzi · Oct 29, 2026, 6:26 PM EDT

• The Great American Rascal: Tom Sawyer at 150

  Article URL: https://claremontreviewofbooks.com/the-great-american-rascal/ Comments URL: https://news.ycombinator.com/item?id=50296947 Points: 26 # Comments: 6

  beatstop · Oct 29, 2026, 6:14 PM EDT

• Should a medical diagnosis reshape the past? (2025)

  Article URL: https://chengela.substack.com/p/should-a-medical-diagnosis-reshape Comments URL: https://news.ycombinator.com/item?id=50296920 Points: 18 # Comments: 0

  wyndham · Oct 29, 2026, 6:12 PM EDT

• Proton goes all in on using AI

  Article URL: https://convo.casa/@b/117525936178835007 Comments URL: https://news.ycombinator.com/item?id=50296602 Points: 45 # Comments: 20

  ColinWright · Oct 29, 2026, 5:49 PM EDT

• El Niño Is Flooding California's Coasts with the Highest Tides to Come

  Article URL: https://gizmodo.com/el-nino-is-already-flooding-californias-coasts-and-the-years-highest-tides-havent-arrived-2000832574 Comments URL: https://news.ycombinator.com/item?id=50296585 Points: 44 # Comments: 11

  gumby · Oct 29, 2026, 5:48 PM EDT

• We ran AI agent swarms in Minecraft and Mindustry

  Article URL: https://labs.ycombinator.com/projects/games/index.html Comments URL: https://news.ycombinator.com/item?id=50296486 Points: 118 # Comments: 45

  sandslash · Oct 29, 2026, 5:40 PM EDT

• Binance-hacker-1029 – $5.6B stolen from Binance

  Article URL: https://arkm.com/explorer/entity/21a94755-f604-45e5-9501-6542e23005e8 Comments URL: https://news.ycombinator.com/item?id=50296470 Points: 575 # Comments: 347

  Tiberium · Oct 29, 2026, 5:38 PM EDT

• Sylphide OS: a general-purpose OS for microcontroller-based computers

  Article URL: https://projects.freehackers.org/sylphide-os/ Comments URL: https://news.ycombinator.com/item?id=50295868 Points: 32 # Comments: 7

  iamnothere · Oct 29, 2026, 4:59 PM EDT

• ElementaryUI – Swift, in the Browser

  Article URL: https://elementary.codes Comments URL: https://news.ycombinator.com/item?id=50295821 Points: 49 # Comments: 9

  frizlab · Oct 29, 2026, 4:56 PM EDT

• Hermes and REA and GLM 5.3 = Reverse engineering TikTok app for less than $20

  Article URL: https://www.scraping.club/p/tiktok-scraping-metadata Comments URL: https://news.ycombinator.com/item?id=50295503 Points: 11 # Comments: 5

  PigiVinci83 · Oct 29, 2026, 4:35 PM EDT

• A tiny world model running games on a Raspberry Pi Pico 2 W

  Article URL: https://github.com/SheepSeb/tinyworldformer Comments URL: https://news.ycombinator.com/item?id=50295450 Points: 19 # Comments: 1

  airinei · Oct 29, 2026, 4:32 PM EDT

• Patrick Stewart has died

  https://archive.ph/y4Egm https://en.wikipedia.org/wiki/Patrick_Stewart Comments URL: https://news.ycombinator.com/item?id=50294702 Points: 1354 # Comments: 254

  j4mie · Oct 29, 2026, 3:41 PM EDT

• The importance of communities around software

  Article URL: https://lumi.codeberg.page/blog/software-community.html Comments URL: https://news.ycombinator.com/item?id=50294507 Points: 61 # Comments: 50

  amcclure · Oct 29, 2026, 3:27 PM EDT

• Show HN: Auto Dismiss Mac OS "Allow to find devices on local networks?"

  This popup has been a constant gripe of mine for years. I almost NEVER want to allow this permission and there is no system setting to disable it globally and prevent the popup from interrupting your typing, etc. This tiny swift app I built will autoclose it in 1/4th of a second and leave behind a little notification that it did so. Would love to hear feedback! Comments URL: https://news.ycombinator.com/item?id=50294506 Points: 88 # Comments: 71

  johncassil · Oct 29, 2026, 3:27 PM EDT

• IgE disruptor for food allergy with Claude-enabled antibody design [pdf]

  Article URL: https://divergencelabs.com/publications/ige-preprint.pdf Comments URL: https://news.ycombinator.com/item?id=50294486 Points: 20 # Comments: 8

  matco11 · Oct 29, 2026, 3:25 PM EDT