2023-10-27 front | Hacker News

Stories from October 27, 2023

Go back a day, month, or year. Go forward a day, month, or year.

1.		Lean4 helped Terence Tao discover a small bug in his recent paper (mathstodon.xyz)
		497 points by gridentio on Oct 27, 2023 \| 220 comments
2.		Ensō: write now, edit later (sonnet.io)
		416 points by surprisetalk on Oct 26, 2023 \| 153 comments
3.		Shadow: New browser engine made almost entirely in JavaScript (goose.icu)
		462 points by awesomekling on Oct 27, 2023 \| 295 comments
4.		Lessons Learned from Twenty Years of Site Reliability Engineering (sre.google)
		590 points by maheshrijal on Oct 27, 2023 \| 124 comments
5.		'Not of faculty quality': How Penn mistreated Katalin Karikó (thedp.com)
		512 points by happy-go-lucky on Oct 27, 2023 \| 339 comments
6.		Interactive intro to shaders (mayerowitz.io)
		555 points by superMayo on Oct 26, 2023 \| 71 comments
7.		WebSDR – Internet-connected Software-Defined Radios (websdr.org)
		265 points by nickt on Oct 26, 2023 \| 64 comments
8.		Takkyu-bin: Luggage forwarding in Japan (craigmod.com)
		342 points by bookofjoe on Oct 26, 2023 \| 164 comments
9.		Show HN: ScratchDB – Open-Source Snowflake on ClickHouse (github.com/scratchdata)
		261 points by memset on Oct 27, 2023 \| 56 comments
10.		Visualizing quaternions (2018) (eater.net)
		192 points by squashToffee on Oct 27, 2023 \| 42 comments
11.		The convolution empire strikes back (gonzoml.substack.com)
		132 points by che_shr_cat on Oct 27, 2023 \| 56 comments
12.		Finding that lead emissions from aircraft engines contribute to air pollution (federalregister.gov)
		450 points by Metacelsus on Oct 27, 2023 \| 340 comments
13.		Making PostgreSQL tick: New features in pg_cron (citusdata.com)
		194 points by thunderbong on Oct 26, 2023 \| 23 comments
14.		Ceasing print publication of ACM journals and transactions (acm.org)
		194 points by talonx on Oct 27, 2023 \| 125 comments
15.		Now add a walrus: Prompt engineering in DALL-E 3 (simonwillison.net)
		288 points by simonw on Oct 26, 2023 \| 72 comments
16.		How to draw software architecture diagrams (2022) (terrastruct.com)
		368 points by walterbell on Oct 27, 2023 \| 151 comments
17.		After 28 years, SSLv2 is still not gone from the internet (sans.edu)
		129 points by 1970-01-01 on Oct 26, 2023 \| 35 comments
18.		My Left Kidney (astralcodexten.com)
		284 points by impish9208 on Oct 27, 2023 \| 314 comments
19.		New devices could change the way we measure blood pressure (knowablemagazine.org)
		116 points by PaulHoule on Oct 27, 2023 \| 67 comments
20.		Show HN: Pākiki Proxy – An intercepting proxy for penetration testing (pakikiproxy.com)
		97 points by pipeline_tux on Oct 27, 2023 \| 43 comments
21.		How to catch a wild triangle (securelist.com)
		142 points by mmastrac on Oct 27, 2023 \| 43 comments
22.		The slow death of authenticity in an attention economy (coryzue.com)
		469 points by czue on Oct 27, 2023 \| 333 comments
23.		DreamCraft3D: Hierarchical 3D Generation with Bootstrapped Diffusion Prior (mrtornado24.github.io)
		134 points by phil9l on Oct 27, 2023 \| 29 comments
24.		Show HN: Biblos – Semantic Bible Embedded Vector Search and Claude LLM (github.com/dssjon)
		136 points by j-b on Oct 27, 2023 \| 84 comments
25.		Show HN: A local Python prototyping tool for Jupyter and Streamlit (github.com/galenmarchetti)
		65 points by galenmarchetti on Oct 27, 2023 \| 5 comments
26.		Ways to Make Sand (2020) [video] (youtube.com)
		51 points by surprisetalk on Oct 27, 2023 \| 13 comments
27.		Monsters in the Middle Ages (medievalists.net)
		55 points by benbreen on Oct 24, 2023 \| 14 comments
28.		Solitary Confinement's Unlikely Origins (publicdomainreview.org)
		65 points by tintinnabula on Oct 26, 2023 \| 64 comments
29.		Android 14's user-profile data bug (arstechnica.com)
		188 points by concernedpix on Oct 27, 2023 \| 87 comments
30.		SDRangel: Explore the electromagnetic spectrum with open source SDR software (github.com/f4exb)
		84 points by teleforce on Oct 27, 2023 \| 9 comments
		More

HN For You