HNHacker News
TopNewBestAskShowJobs

pron

25,364 karma · joined December 23, 2011

https://pron.github.io/

Working on OpenJDK at Oracle

submissionscomments

SIMD Vectors in the HotSpot JVM – Auto Vectorization and the Vector API

youtube.com·3 pts·pron·
0

How the JVM Optimizes Generic Code – A Deep Dive [video]

youtube.com·4 pts·pron·
0

Paul Krugman: Talking with Gabriel Zucman

youtube.com·3 pts·pron·
0

Towards Language Model Guided TLA+ Proof Automation

arxiv.org·4 pts·pron·
0

Keynote: Industry GC Insights from OpenJDK

youtube.com·1 pts·pron·
0

Two AIs Compete at Variant Sudoku [video]

youtube.com·1 pts·pron·
0

Postcards from the Peak of Complexity by Brian Goetz

youtube.com·3 pts·pron·
0

Project Babylon – Code Reflection in Java

youtube.com·1 pts·pron·
0

The Rich Are Crazier Than You and Me

nytimes.com·5 pts·pron·
0

Blood and the Machine: The Return of Reactionary Modernism

johnganz.substack.com·1 pts·pron·
0

The End of Silicon Valley?

johnganz.substack.com·2 pts·pron·
0

Sleeping Soundly with the Help of TLA+

blogs.oracle.com·1 pts·pron·
0

Selectively Shifting and Constraining Computation in Java

openjdk.org·4 pts·pron·
0

Distributed systems showdown – TLA+ vs. real code

youtube.com·1 pts·pron·
0

TLA+: Viewed from 40k Feet and Ground Level

youtube.com·6 pts·pron·
0

The Business Costs of Technical Debt [pdf]

codescene.com·3 pts·pron·
0

The First Zig Website Redesign

kristoff.it·3 pts·pron·
0

The Argument Against Quantum Computers – A Very Short Introduction

gilkalai.wordpress.com·7 pts·pron·
0

A Formal Model of Cache Speculation Side-Channels

youtube.com·3 pts·pron·
0

A Formal Model of Cache Speculation Side-Channels

youtu.be·3 pts·pron·
0

Zig Live Coding: Self-Hosted Incremental Compilation Debug Info

youtu.be·2 pts·pron·
0

A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue

github.com·213 pts·pron·
6

TLA+ for Startups (Part 2)

medium.com·5 pts·pron·
0

TLA+ for Startups (Part 1)

medium.com·2 pts·pron·
0

The Paxos Algorithm, or How to Win a Turing Award

lamport.azurewebsites.net·328 pts·pron·
83

Wait A Minute

theatlantic.com·1 pts·pron·
0

If You’re Not Writing a Program, Don’t Use a Programming Language

bulletin.eatcs.org·4 pts·pron·
0

PraxisLIVE – a visual live programming environment

praxislive.org·2 pts·pron·
0

Formal Specification Applied, with TLA+

youtu.be·1 pts·pron·
0

Building a “Simple” Distributed System – Formal Verification

jack-vanlightly.com·151 pts·pron·
9
Page 1 of 13Next →