Forwarded from AlexTCH
Mario Carneiro is (slowly) proving the Lean 4 (kernel) correct in the Lean 4 itself:
https://www.youtube.com/watch?v=hAj81bYngDA
There are curious insights into Lean 4 metatheory and actual implementation.
https://www.youtube.com/watch?v=hAj81bYngDA
There are curious insights into Lean 4 metatheory and actual implementation.
YouTube
TYPES2025 - 5.17. Mario Carneiro - Lean4Lean: Mechanizing the Metatheory of Lean
TYPES 2025 - Day 5 - Session 4
Mario Carneiro - Lean4Lean: Mechanizing the Metatheory of Lean
Mario Carneiro - Lean4Lean: Mechanizing the Metatheory of Lean
🔥1
Forwarded from Programming Deadlock
visual-programming.pdf
127.3 KB
Visual Programming with Interaction Nets
https://repositorium.sdum.uminho.pt/bitstream/1822/14408/1/article_20.pdf
https://repositorium.sdum.uminho.pt/bitstream/1822/14408/1/article_20.pdf
👍1
Forwarded from GALLY
YouTube
MicroHs, a tiny Haskell Compiler – Lennart Augustsson (Language Pioneer & Compiler Expert)
In this engaging and technically rich talk, Lennart Augustsson presents his project microHs – an extremely lightweight Haskell compiler developed both as a fun experiment and a deep dive into functional programming.
Augustsson, known for having written several…
Augustsson, known for having written several…
Early_2025_AI_Experienced_OS_Devs_Study.pdf
5.3 MB
Becker, et.al, Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity (2025)
Even though I'm not really a fan of academia, but I'm also not a blind believer of the Silicon Valley trope of dropping out because Gates and Musk did so.
Lawrence Paulson here urges people to take education seriously. Whether you are able to do that at Oxford, or by manually going through the classics yourself is up to you, in my opinion.
https://lawrencecpaulson.github.io/2025/07/02/Finish_your_degree.html
Lawrence Paulson here urges people to take education seriously. Whether you are able to do that at Oxford, or by manually going through the classics yourself is up to you, in my opinion.
https://lawrencecpaulson.github.io/2025/07/02/Finish_your_degree.html
👍7
Going live again to stream the development of The Emacs Reader.
I'll be working on integrating window-local page management, so that you can open, scroll and zoom the same document in multiple Emacs windows.
The stream will be live in ~20mins:
https://tv.dyne.org/w/aqbcMQuPaBV8X92EZaxx1d
I'll be working on integrating window-local page management, so that you can open, scroll and zoom the same document in multiple Emacs windows.
The stream will be live in ~20mins:
https://tv.dyne.org/w/aqbcMQuPaBV8X92EZaxx1d
Dyne.org TV
Emacs Package Development: The Emacs Reader (VII: Manipulating Pages in Multiple Windows)
This is the seventh in a series of Emacs package development streams focusing on the Emacs Reader package: https://codeberg.org/divyaranjan/emacs-reader/ In this stream specifically, I'll be workin...
👍1
(φ (μ (λ)))
Going live again to stream the development of The Emacs Reader. I'll be working on integrating window-local page management, so that you can open, scroll and zoom the same document in multiple Emacs windows. The stream will be live in ~20mins: https://…
Media is too big
VIEW IN TELEGRAM
Clip from last stream where I compare emacs-reader with other document readers in and beyond Emacs
👍5
(φ (μ (λ)))
Going live again to stream the development of The Emacs Reader. I'll be working on integrating window-local page management, so that you can open, scroll and zoom the same document in multiple Emacs windows. The stream will be live in ~20mins: https://…
Full recording:
https://tv.dyne.org/w/qy9YuiMsHVyNXjDXeP2V8u
https://tv.dyne.org/w/qy9YuiMsHVyNXjDXeP2V8u
Dyne.org TV
Emacs Package Development: The Emacs Reader (VII: Manipulating Pages in Multiple Windows)
This is the seventh in a series of Emacs package development streams focusing on the Emacs Reader package: https://codeberg.org/divyaranjan/emacs-reader/ In this stream specifically, I'll be workin...
👍1