HN Top Links - Popular Stories from Hacker News

15391.

Checking Dependent Types with Normalization by Evaluation: A Tutorial (davidchristiansen.dk)

2 points by holonomically on Nov 15, 2021 | 0 comments

15392.

The FBI’s email system was hacked to send out fake cybersecurity warnings (theverge.com)

2 points by thedday on Nov 15, 2021 | 0 comments

15393.

Drawing Pictures of Cities (noahpinion.substack.com)

2 points by guerrilla on Nov 15, 2021 | 0 comments

15394.

Build full-stack serverless apps (serverless-stack.com)

2 points by omarfarooq on Nov 15, 2021 | 0 comments

15395.

Japan's former princess Mako arrives in New York after giving up title (bbc.com)

2 points by sova on Nov 15, 2021 | 0 comments

15396.

Richard Rusczyk’s Worldwide Math Camp (newyorker.com)

2 points by pseudolus on Nov 15, 2021 | 0 comments

15397.

Is Ornamenting Solar Panels a Crime? (e-flux.com)

2 points by nanomonkey on Nov 15, 2021 | 0 comments

15398.

Global temperature changes mapped across the past 24,000 years (nature.com)

2 points by holonomically on Nov 15, 2021 | 0 comments

15399.

Neurobiological Effects of Physical Exercise (en.wikipedia.org)

2 points by hidden-spyder on Nov 15, 2021 | 0 comments

15400.

What if we held hands and bought the Constitution together? ConstitutionDAO (constitutiondao.com)

2 points by giacaglia on Nov 15, 2021 | 0 comments

15401.

Systems as Mental Interfaces (charleslambdin.com)

2 points by skmurphy on Nov 15, 2021 | 0 comments

15402.

New DAO Forms to Buy Copy of US Constitution at Sotheby's Auction (decrypt.co)

2 points by siftrics on Nov 15, 2021 | 0 comments

15403.

SpinLaunch: A system to throw rockets into space (spinlaunch.com)

2 points by gautamcgoel on Nov 15, 2021 | 0 comments

15404.

Better prognostic determination of cT3 rectal cancer through measurement of (hotpaper.io)

2 points by badafa on Nov 15, 2021 | 0 comments

15405.

Anti-Racist Graphics Research (Siggraph 2021) – [video] (youtube.com)

2 points by thunderbong on Nov 15, 2021 | 0 comments

15406.

Lars Doucet on “crypto culture war” (twitter.com)

2 points by juanuys on Nov 15, 2021 | 0 comments

15407.

Dockershim removal is coming. Are you ready? (kubernetes.io)

2 points by alexellisuk on Nov 15, 2021 | 0 comments

15408.

How to design a landing page mockup (youtube.com)

2 points by Plexpert on Nov 15, 2021 | 0 comments

15409.

SpaceX launch starts deployment of new Starlink orbital shell (spaceflightnow.com)

2 points by 2020random on Nov 15, 2021 | 0 comments

15410.

Call for Participation to MCH2022 (conference.mch2022.org)

2 points by dredmorbius on Nov 15, 2021 | 0 comments

15411.

Sir Clive Sinclair Book of Remembrance (sbor.uk)

2 points by sohkamyung on Nov 15, 2021 | 0 comments

15412.

Burning Body Fat with Cold Exposure (culturalhealthsolutions.com)

2 points by novaRom on Nov 15, 2021 | 0 comments

15413.

After a 52-year chase, authorities ID the man behind an infamous Ohio bank heist (npr.org)

2 points by pseudolus on Nov 15, 2021 | 0 comments

15414.

Status Update, November 2021 (drewdevault.com)

2 points by Tomte on Nov 15, 2021 | 0 comments

15415.

Natural Adversarial Objects (arxiv.org)

2 points by jonbaer on Nov 15, 2021 | 0 comments

15416.

The Migrant Workers Who Follow Climate Disasters (newyorker.com)

2 points by yarapavan on Nov 15, 2021 | 0 comments

15417.

Shipping companies feel the heat as investors shun coal (reuters.com)

2 points by 1cvmask on Nov 15, 2021 | 0 comments

15418.

Jason Padgett (en.wikipedia.org)

2 points by laowantong on Nov 15, 2021 | 0 comments

15419.

Coding Games to Learn Programming (codecombat.com)

2 points by omarfarooq on Nov 15, 2021 | 0 comments

15420.

Show HN: Kraken CI with Webhooks to GitHub, GitLab and Gitea (kraken.ci)

2 points by godfryd2 on Nov 15, 2021 | 0 comments