jose valim

Scott Arciszewski's DEF CON 26 Crypto and Privacy Village talk critiquing the JOSE standards (JWT, JWS, JWE) and showing how to design cryptographic tokens more safely.

José Valim's ElixirConf US 2023 closing keynote on the foundations of the Elixir type system, covering set-theoretic types and gradual typing with strong arrows.

Numberphile with Daniel Erman on the Josephus problem, where people in a circle are eliminated in turn. It shows how the survivor's position follows a neat pattern tied to powers of two and binary.

Joseph Tainter lectures at a 2010 sustainability conference on why complex societies such as Rome collapse. His thesis is that rising complexity brings diminishing returns until societies cannot afford to maintain it.

Joseph Henrich's Talks at Google presentation of his book. He argues that human success comes from collective brains and cultural learning across generations rather than individual intelligence.

Jose Valim introduces Nx, the project bringing numerical computing to Elixir, covering multi-dimensional tensors, automatic differentiation and JIT compilation to CPU and GPU.

Joseph White, creator of PICO-8, retraces the design of the fantasy console and how tools can shape and guide creative work. He discusses cozy, constrained design spaces and the influence of user-made cartridges.

Joseph Everett, with Dr. Frank Mitloehner, argues that eating less meat will not do much for the climate. He covers beef's water footprint, land and feed use, and methane.

Joseph Everett argues, drawing on the book The Salt Fix, that most people benefit from more rather than less salt, and reviews studies on sodium, potassium and blood pressure.

Filmmaker Max Joseph's 35-minute video essay asks whether you have to be a jerk to be a successful leader. It draws on Adam Grant's givers and takers, Robert Greene and famous demanding directors.

A short film by Max Joseph about his anxiety in bookstores and how to read more books amid constant streaming, social media and news. He looks for ways to rebalance his content diet in favor of reading.

Joseph Everett compares the food environment of the US, with roughly 30% obesity, to Japan's, around 3.5%. He argues that what is available and normal to eat explains much of the gap.

Joseph Anderson's long critique of Jonathan Blow's puzzle game The Witness, covering its gameplay, its hundreds of puzzles and its philosophical pretensions. He argues it is a great game that he nonetheless advises against playing.

A short explainer on the physiological differences between fasting and simply eating less. It covers ketosis, ghrelin and hunger waves, and the hormonal effects of fasting.

A What I've Learned video arguing that industrial seed and vegetable oils have displaced saturated fats and harmed health. It covers the history of vegetable oils, the American Heart Association's role, and rising consumption.

A video arguing that exercise matters for the brain as much as the body, linking movement, the nervous system and BDNF to learning and memory. It draws on research connecting complex movement to brain development.

A 35-minute demonstration of NeXTSTEP Release 3 by Steve Jobs. It shows the object-oriented development environment and features such as dragging a live chart between apps.

Tony Hoare's InfoQ talk in which he describes introducing null references in ALGOL W in 1965 and calls it his billion-dollar mistake. He discusses language designer responsibility and run-time checks.

Uber Engineering's Joseph Gilley explains why Uber uses hexagons for geospatial indexing and introduces H3, its open source hierarchical grid system. He covers use cases and how distortion is handled.

The Geopolymer Institute presents Joseph Davidovits's theory that the Egyptian pyramids were built from cast artificial limestone, a geopolymer concrete, rather than carved blocks. It demonstrates how few people could make blocks.

Josef Holzer walks through his family's Krameterhof, one of Europe's oldest permaculture farms in the Austrian mountains, with fish ponds, terraces, fruit trees and grazing animals. It showcases water management and microclimates.