pron's submissions | Hacker News

1.		How the JVM Optimizes Generic Code – A Deep Dive [video] (youtube.com)
		4 points by pron 5 days ago \| past \| discuss
2.		Paul Krugman: Talking with Gabriel Zucman (youtube.com)
		3 points by pron 89 days ago \| past
3.		Towards Language Model Guided TLA+ Proof Automation (arxiv.org)
		4 points by pron 3 months ago \| past
4.		Keynote: Industry GC Insights from OpenJDK (youtube.com)
		1 point by pron 8 months ago \| past
5.		Two AIs Compete at Variant Sudoku [video] (youtube.com)
		1 point by pron 11 months ago \| past
6.		Postcards from the Peak of Complexity by Brian Goetz (youtube.com)
		3 points by pron on Oct 10, 2024 \| past
7.		Project Babylon – Code Reflection in Java (youtube.com)
		1 point by pron on Aug 16, 2024 \| past
8.		The Rich Are Crazier Than You and Me (nytimes.com)
		5 points by pron on July 16, 2023 \| past
9.		Blood and the Machine: The Return of Reactionary Modernism (johnganz.substack.com)
		1 point by pron on June 21, 2023 \| past
10.		The End of Silicon Valley? (johnganz.substack.com)
		2 points by pron on April 7, 2023 \| past
11.		Sleeping Soundly with the Help of TLA+ (oracle.com)
		1 point by pron on Oct 21, 2022 \| past
12.		Selectively Shifting and Constraining Computation in Java (openjdk.org)
		4 points by pron on Oct 13, 2022 \| past
13.		Distributed systems showdown – TLA+ vs. real code (youtube.com)
		1 point by pron on Jan 7, 2022 \| past
14.		TLA+: Viewed from 40k Feet and Ground Level (youtube.com)
		6 points by pron on Aug 23, 2021 \| past
15.		The Business Costs of Technical Debt [pdf] (codescene.com)
		3 points by pron on March 6, 2021 \| past
16.		The First Zig Website Redesign (kristoff.it)
		3 points by pron on Jan 14, 2021 \| past
17.		The Argument Against Quantum Computers – A Very Short Introduction (gilkalai.wordpress.com)
		7 points by pron on Dec 29, 2020 \| past
18.		A Formal Model of Cache Speculation Side-Channels (youtube.com)
		3 points by pron on Oct 16, 2020 \| past
19.		A Formal Model of Cache Speculation Side-Channels (youtu.be)
		3 points by pron on Oct 2, 2020 \| past
20.		Zig Live Coding: Self-Hosted Incremental Compilation Debug Info (youtu.be)
		2 points by pron on Aug 5, 2020 \| past
21.		A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue (github.com/lemmy)
		213 points by pron on March 5, 2020 \| past \| 6 comments
22.		TLA+ for Startups (Part 2) (medium.com/koodoo)
		5 points by pron on Dec 10, 2019 \| past
23.		TLA+ for Startups (Part 1) (medium.com/koodoo)
		2 points by pron on Dec 9, 2019 \| past
24.		The Paxos Algorithm, or How to Win a Turing Award (lamport.azurewebsites.net)
		328 points by pron on Aug 30, 2019 \| past \| 83 comments
25.		Wait A Minute (theatlantic.com)
		1 point by pron on Aug 5, 2019 \| past
26.		If You’re Not Writing a Program, Don’t Use a Programming Language (eatcs.org)
		4 points by pron on June 30, 2019 \| past
27.		PraxisLIVE – a visual live programming environment (praxislive.org)
		2 points by pron on May 7, 2019 \| past
28.		Formal Specification Applied, with TLA+ (youtu.be)
		1 point by pron on March 8, 2019 \| past
29.		Building a “Simple” Distributed System – Formal Verification (jack-vanlightly.com)
		151 points by pron on Jan 29, 2019 \| past \| 9 comments
30.		Cliff Click – Lessons from a Big Data Machine Learning Startup (youtube.com)
		2 points by pron on July 26, 2018 \| past
		More

HN For You