https://jburroni.github.io/news/announcement_1/ 2023-07-20T15:23:00+00:00 https://jburroni.github.io/news/announcement_2/ 2023-09-12T15:23:00+00:00 https://jburroni.github.io/news/announcement_3/ 2024-02-20T15:23:00+00:00 https://jburroni.github.io/news/announcement_4/ 2024-03-01T14:15:00+00:00 https://jburroni.github.io/news/announcement_5/ 2024-07-16T14:15:00+00:00 https://jburroni.github.io/news/announcement_6/ 2025-01-04T19:23:00+00:00 https://jburroni.github.io/news/announcement_7/ 2025-02-01T13:12:00+00:00 https://jburroni.github.io/news/announcement_8/ 2025-04-05T00:12:00+00:00 https://jburroni.github.io/news/announcement_9/ 2025-12-09T00:00:00+00:00 https://jburroni.github.io/research/2024/03/15/Subnormal-Floats-and-IWAE.html 2024-03-15T09:58:16+00:00 https://jburroni.github.io/lean/2025/05/18/lean-snippets.html 2025-05-18T08:45:16+00:00 https://jburroni.github.io/lean/2025/05/20/induction.html 2025-05-20T12:45:16+00:00 https://jburroni.github.io/lean/2025/06/05/real-numbers.html 2025-06-05T15:45:16+00:00 https://jburroni.github.io/lean/2025/06/11/length_function.html 2025-06-11T15:45:16+00:00 https://jburroni.github.io/ai/2025/06/30/vibe-coding.html 2025-06-30T00:00:00+00:00 https://jburroni.github.io/lean/2025/07/07/Suffices.html 2025-07-07T00:00:00+00:00 https://jburroni.github.io/lean/2025/07/14/rintro.html 2025-07-14T00:00:00+00:00 https://jburroni.github.io/projects/1_project/ 2026-02-25T19:38:21+00:00 https://jburroni.github.io/projects/2_project/ 2026-02-25T19:38:21+00:00 https://jburroni.github.io/projects/3_project/ 2026-02-25T19:38:21+00:00 https://jburroni.github.io/projects/4_project/ 2026-02-25T19:38:21+00:00 https://jburroni.github.io/projects/5_project/ 2026-02-25T19:38:21+00:00 https://jburroni.github.io/projects/6_project/ 2026-02-25T19:38:21+00:00 https://jburroni.github.io/ https://jburroni.github.io/news/ https://jburroni.github.io/publications/ https://jburroni.github.io/blog/tag/vae/ https://jburroni.github.io/blog/tag/iwae/ https://jburroni.github.io/blog/tag/floating-points/ https://jburroni.github.io/blog/tag/vi/ https://jburroni.github.io/blog/tag/low-level/ https://jburroni.github.io/blog/tag/lean/ https://jburroni.github.io/blog/tag/lean-snippets/ https://jburroni.github.io/blog/tag/formalization/ https://jburroni.github.io/blog/tag/formalization/ https://jburroni.github.io/blog/tag/induction/ https://jburroni.github.io/blog/tag/numbers/ https://jburroni.github.io/blog/tag/vibe/ https://jburroni.github.io/blog/tag/coding/ https://jburroni.github.io/blog/tag/ai/ https://jburroni.github.io/blog/tag/gpt/ https://jburroni.github.io/blog/tag/tactics/ https://jburroni.github.io/blog/tag/suffices/ https://jburroni.github.io/blog/tag/fin-cases/ https://jburroni.github.io/blog/tag/rintro/ https://jburroni.github.io/blog/category/research/ https://jburroni.github.io/blog/category/lean/ https://jburroni.github.io/blog/category/ai/ https://jburroni.github.io/blog/2024/ https://jburroni.github.io/blog/2025/ https://jburroni.github.io/blog/ https://jburroni.github.io/blog/page/2/