Submissions from pavpanchekha.com

		Can LLMs accelerate science? An experiment (pavpanchekha.com)
		2 points by pavpanchekha 62 days ago \| past \| 1 comment
		The Token Production System (pavpanchekha.com)
		1 point by pavpanchekha 3 months ago \| past
		The Promise of P-Graphs (pavpanchekha.com)
		2 points by PaulHoule 5 months ago \| past
		Should CSS be a constraint system instead? (pavpanchekha.com)
		38 points by fanf2 6 months ago \| past \| 1 comment
		Should CSS Be Constraints? (pavpanchekha.com)
		4 points by tannhaeuser 6 months ago \| past \| 1 comment
		Agent Harnesses Are Just Shells (pavpanchekha.com)
		2 points by yurivish 6 months ago \| past
		Should CSS be constraints? (pavpanchekha.com)
		25 points by pavpanchekha 6 months ago \| past \| 44 comments
		The Promise of P-Graphs (pavpanchekha.com)
		3 points by todsacerdoti 6 months ago \| past
		We'd be better off with 9-bit bytes (pavpanchekha.com)
		188 points by luu 10 months ago \| past \| 346 comments
		FastTwoSum Is Faster Than TwoSum (pavpanchekha.com)
		5 points by dev181 on May 11, 2025 \| past
		Does O3 beat a specalized numeric compiler? (pavpanchekha.com)
		2 points by pavpanchekha on Feb 1, 2025 \| past
		OpenAI Strawberry vs. Herbie (pavpanchekha.com)
		1 point by pavpanchekha on Sept 14, 2024 \| past
		Batches for Recursive Data Structures (pavpanchekha.com)
		2 points by matt_d on Sept 1, 2024 \| past
		ChatGPT vs. Herbie (pavpanchekha.com)
		1 point by KqAmJQ7 on June 18, 2023 \| past
		An Accurate Quadratic Formula (pavpanchekha.com)
		5 points by soegaard on May 23, 2023 \| past
		Top-Down LR Parsing (pavpanchekha.com)
		110 points by ingve on March 14, 2023 \| past \| 34 comments
		Teaching parsing: From Top-down LL (recursive descent) to Top-down LR parsing (pavpanchekha.com)
		3 points by matt_d on March 13, 2023 \| past
		Optimizing Pruning in Herbie (pavpanchekha.com)
		1 point by todsacerdoti on July 22, 2022 \| past
		(call/cc call/cc) and friends (pavpanchekha.com)
		15 points by isaac21259 on May 19, 2022 \| past \| 1 comment
		Herbie Happened (2017) (pavpanchekha.com)
		1 point by todsacerdoti on July 27, 2021 \| past
		Fuzzing for Layout Invalidation Bugs (pavpanchekha.com)
		1 point by pavpanchekha on May 10, 2021 \| past
		The Levels of Concurrency (2012) (pavpanchekha.com)
		1 point by bumbledraven on April 6, 2021 \| past
		(call/cc this-class) (pavpanchekha.com)
		3 points by todsacerdoti on May 20, 2020 \| past
		Programming with Pushouts (pavpanchekha.com)
		1 point by alex_hirner on Sept 8, 2018 \| past
		Solving Resistance (pavpanchekha.com)
		1 point by callmekit on Sept 7, 2018 \| past
		Solving the Prisoners’ Dilemma (pavpanchekha.com)
		2 points by callmekit on May 17, 2016 \| past
		Pedestrian Statistics (pavpanchekha.com)
		5 points by darzu on May 21, 2015 \| past
		Complex Square Roots in math.js (pavpanchekha.com)
		3 points by pavpanchekha on Sept 16, 2014 \| past
		Engineering Taste (pavpanchekha.com)
		1 point by pavpanchekha on Oct 27, 2013 \| past
		Treaps: A Simple Balanced Binary Tree (pavpanchekha.com)
		2 points by usaar333 on May 2, 2013 \| past
		More

HN For You