(φ (μ (λ)))
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
(φ (μ (λ)))
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...
Forwarded from Programming Deadlock
Functional abstract interpretation
https://simon.peytonjones.org/abs-den/
https://simon.peytonjones.org/abs-den/
Simon Peyton Jones
Functional abstract interpretation
Sebastian Graf PhD thesis, Karlsruhe University, Dec 2024. View PDF
Forwarded from A Math Book
Computer Science.pdf
12.3 MB
Computer Science: An Interdisciplinary Approach ( Robert Sedgewick & Kevin Wayne ). Addison Wesley 2016
(φ (μ (λ)))
Full recording: https://tv.dyne.org/w/qy9YuiMsHVyNXjDXeP2V8u
This media is not supported in your browser
VIEW IN TELEGRAM
Finalizing the work from last stream. Got scrolling to work independently in different windows.
Forwarded from Symptoms
Symptoms
Photo
Science_change_A_C_Crombie_1963_Heinemann_31f76f0645e3c2a162b02b9b02fe5f44.pdf
35 MB
(ed. A.C Crombie) Scienctific Change [1961]
Forwarded from Programming Deadlock
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
https://github.com/veyselusta/programming-language-research
https://github.com/veyselusta/programming-language-research
GitHub
GitHub - veyselusta/programming-language-research: Research on theory of programming languages λ, compilers, interpreters, functional…
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc. - veyselusta/programming-language-research
Forwarded from A Math Book
Building a Debugger.pdf
26.4 MB
Building a Debugger ( Sy Brand ). No Starch Press 2025
Forwarded from Victoria Porozova
atiyahgp.pdf
1.1 MB
on marriage between physics and geometry, M Atiyah