Articles by tzury
17

Automatic Textbook Formalization (github.com/facebookresearch)

2

Gemma 4 reports, configs, and code, here are the takeaways (twitter.com/rasbt)

1

Gemma 4 Just Released (twitter.com/demishassabis)

1

Claude Code No Flicker Mode (twitter.com/bcherny)

1

He Helped Stop Iran from Getting the Bomb (newyorker.com)

1

Under-utilized features in Claude Code (twitter.com/bcherny)

3

China Learned to Love the Classics (newyorker.com)

2

In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? (quantamagazine.org)

1

Life Lessons from Differential Equations (johndcook.com)

5

Antimatter has been transported for the first time ever – in the back of a truck (nature.com)

2

Casio's new $600 calculator is a work of art (theverge.com)

1

How the idea of human superiority over nature was invented (nature.com)

1

AI and the PhD student: friend or foe? (nature.com)

2

What happened when an Arab neuroscientist took the helm at an Israeli university (science.org)

2

NASA Invites Media to Learn About Upcoming X-59 Test Flights (nasa.gov)

113

LLM Architecture Gallery (sebastianraschka.com)

1

Ask HN: Balancing the use of AI in out inter communication (h2h)

205

John Carmack about open source and anti-AI activists (twitter.com/id_aa_carmack)

1

Dennis Ritchie, Ken Thompson And others on the Unix system [video] (youtube.com)

4

Canopy Height Maps v2 (meta.com)

2

Claude can now build interactive charts and diagrams, directly in the chat (twitter.com/claudeai)

3

The Perverse, Tender Worlds of Paul Thomas Anderson (newyorker.com)

46

Physicist Astrid Eichhorn is a leader in the field of asymptotic safety (quantamagazine.org)

3

The path to room-temperature superconductivity: A programmatic approach (pnas.org)

9

Scientists revive activity in frozen mouse brains for the first time (nature.com)

2

I Ching or Book of Changes (r053.org)

2

Sinh(Arccosh(x)) (johndcook.com)

4

F-35 Software Could Be Jailbreaked Like an iPhone: Dutch Defense Secretary (twz.com)

2

New Attack Against Wi-Fi (schneier.com)

13

Helios: Real real-time long video generation model (alphaxiv.org)

6

Oppenheimer's Letter of Recommendation for Richard Feynman (1943) (cantorsparadise.com)

1

The True Scale Multiplication Grid (thechalkfaceblog.wordpress.com)

1

New Strides Made on Deceptively Simple 'Lonely Runner' Problem (quantamagazine.org)

33

Galileo's handwritten notes found in ancient astronomy text (science.org)

2

Injectable satellite livers could offer an alternative to liver transplantation (news.mit.edu)

2

Teaching LLMs to reason like Bayesians (research.google)

1

Robot LCD display face with a 3D printed Lego helmet (adafruit.com)

2

New Python library by Guido van Rossum (github.com/microsoft)

49

Physicists developing a quantum computer that’s entirely open source (aps.org)

2

How to Solve the Rubik's Cube (cantorsparadise.com)

1

Years After the Early Death of a Math Genius, Her Ideas Gain New Life (quantamagazine.org)

3

Interview with Thomas Wouters by Guido van Rossum (gvanrossum.github.io)

1

The Radical Font (terathon.com)

1

A "Rose" Made of Galaxies Highlights Hubble's 21st Anniversary (nasa.gov)

1

The Martians of Budapest (cantorsparadise.com)

1

Kurt Gödel's Brilliant Madness (cantorsparadise.com)

9

Anthropic acquires Vercept to advance Claude's computer use capabilities (anthropic.com)

4

TranslateGemma now runs 100% in the browser on WebGPU with Transformers.js v4 (huggingface.co)

1

Climate Physicists Face the Ghosts in Their Machines: Clouds (quantamagazine.org)

1

Diode – Build, program, and simulate hardware in the browser (withdiode.com)

1

The Biophysical World Inside a Jam-Packed Cell (quantamagazine.org)

2

TimesFM (Time Series Foundation Model) (github.com/google-research)

1

Upright: An Open Source Synthetic Monitoring System (37signals.com)

1

Netflix optimized its petabyte-scale logging system with ClickHouse (clickhouse.com)

2

WebMCP is available for early preview (chrome.com)

2

The Computer Chronicles – Artificial Intelligence (1985) [video] (youtube.com)

15

How Is Data Stored? (makingsoftware.com)

4

The Isomorphic Labs Drug Design Engine unlocks a new frontier beyond AlphaFold (isomorphiclabs.com)

2

BusinessWeek Cover – Software Made Simple – and Article – September 30, 1991 (archive.org)

1

Computing Large Fibonacci Numbers (johndcook.com)

5

The other Markov's inequality (ethanepperly.com)

2

Built with Opus 4.6: a Claude Code hackathon (cerebralvalley.ai)

2

Linus Torvalds interview the week Windows 98 released [video] (youtube.com)

7

Workspace Studio- Automate your work with Gemini (workspace.google.com)

3

Frequently updated catalog of material about computation / UI and design (worrydream.com)

13

An interactive version of Byrne's The Elements of Euclid (1847) (c82.net)

1

We're helping preserve the genetic information of endangered species with AI (blog.google)

1

Use Claude Code the same way Claude Code team do (twitter.com/bcherny)

1

Semi-Autonomous Mathematics Discovery with Gemini: Erdős Problems Case Study (arxiv.org)

1

Once Thought to Support Neurons, Astrocytes Turn Out to Be in Charge (quantamagazine.org)

38

P vs. NP and the Difficulty of Computation: A ruliological approach (stephenwolfram.com)

89

Richard Feynman Side Hustles (twitter.com/carl_feynman)

2

Lean 4.27.0 (lean-lang.org)

1

Atlas: Practical scaling laws for multilingual models (research.google)

4

Monster Neutrino Could Be a Messenger of Ancient Black Holes (quantamagazine.org)

9

Two Twisty Shapes Resolve a Centuries-Old Topology Puzzle (quantamagazine.org)

1

Animals Build a Sense of Direction (quantamagazine.org)

1

Erdős Problem #347 Solved (AI assisted math) (erdosproblems.com)

8

L∃AN together – live stream schedule (leanprover-community.github.io)

1

Prep for the SAT with practice tests in Gemini (blog.google)

3

Two Twisty Shapes Resolve a Centuries-Old Topology Puzzle (quantamagazine.org)

2

Perelman's Proof of the Poincar E Conjecture: A Nonlinear PDE Perspective (arxiv.org)

1

In memory of Professor Emeritus Benedict Gross (math.harvard.edu)

1

From Seeing Why to Checking Everything (axiommath.ai)

2

Rethinking Information for Computationally Bounded Intelligence (arxiv.org)

1

Perfect and Imperfect Shuffles (johndcook.com)

2

Combinatorics News (gilkalai.wordpress.com)

1

Terry Tao on the Future of Mathematics (youtube.com)

2

Smallest Robot Uses Light for Power and Navigation (insidetelecom.com)

3

Deep sequence models tend to memorize geometrically; it is unclear why (arxiv.org)

1

This Year's Abel Prize Was Awarded to Professor Masaki Kashiwara (twitter.com/abel_prize)

3

AI Contributions to Erdős Problems (github.com/teorth)

1

Breakthrough of the Year: The unstoppable rise of renewable energy (science.org)

1

Human OCEL1 senses bacterial infection to unlock inflammatory responses (science.org)

1

Make a Moon Phases Calendar and Calculator (nasa.gov)

36

Inside the proton, the ‘most complicated thing you could possibly imagine’ (2022) (quantamagazine.org)

71

How Lewis Carroll computed determinants (2023) (johndcook.com)

1

Fisher Information in Kinetic Theory (arxiv.org)

8

Learn LaTeX in 30 Minutes (overleaf.com)

1

Five pre-training tricks from Character AI (twitter.com/simon_mo_)