Forwarded from A Math Book
Gödel’s Theorems and Zermelo’s Axioms.pdf
3.3 MB
Gödel’s Theorems and Zermelo’s Axioms: A Firm Foundation of Mathematics ( Lorenz Halbeisen & Regula Krapf ). Birkhäuser 2020
👍1
Forwarded from A Math Book
Modern Algebra and the Rise of Mathematical Structures.pdf
64.1 MB
Modern Algebra and the Rise of Mathematical Structures ( Leo Corry ), 2nd edition. Birkhäuser 2004
(φ (μ (λ)))
https://en.wikipedia.org/wiki/J%C3%A1nos_Bolyai
Letter from János Bolyai's father (Farkas Bolyai) on Euclid's parallel postulate:
you must not attempt this approach to the parallels. I know this way to the very end. I have transversed this bottomless night, which extinguished all light and joy of my life. I entreat you, leave the science of parallels alone [...] I thought I would sacrifice myself for the sake of truth. I was ready to become a martyr who would remove the flaw from geometry and return it purified to mankind. I accomplished monstrous, enormous labours: my creations are far better than those of others and yet I have not achieved complete satisfaction [...] I turned back when I saw no man can reach the bottom of this night. I turned back unconsoled , pitying myself and all mankind. Learn from my example: I wanted to know about parallels. I remain ignorant, this has taken all the flowers of my life and all my time from me.
(φ (μ (λ)))
https://www.math.harvard.edu/in-memory-of-professor-emeritus-benedict-gross/
His Abstract Algebra course is still the best one on YouTube.
✍3
Going live for Emacs Reader development
https://tv.dyne.org/w/aqbcMQuPaBV8X92EZaxx1d
Not going to stream here today, since I'm streaming from my libre laptop that doesn't have telegram. Feel free to join the peertube and/or the IRC
https://tv.dyne.org/w/aqbcMQuPaBV8X92EZaxx1d
Not going to stream here today, since I'm streaming from my libre laptop that doesn't have telegram. Feel free to join the peertube and/or the IRC
#phi-mu-lambdaDyne.org TV
[16] Emacs Reader: Fixing Memory Leaks and Isearch Integration
https://codeberg.org/divyaranjan/emacs-reader/ If you have no idea what I'm doing here, please watch the first introductory stream of the series: https://tv.dyne.org/w/8W8o4fWz94bMYVMUWExkX7 Operat...
(φ (μ (λ)))
https://en.wikipedia.org/wiki/Quine_%28computing%29
YouTube
Self-Reproducing Programs
References:
- Rust Compiler: https://github.com/rust-lang/rust/
- Porth Compiler: https://gitlab.com/tsoding/porth
- Porth Playlist: https://www.youtube.com/playlist?list=PLpM-Dvs8t0VbMZA7wW9aR3EtBqe2kinu4
- Reflection on Trusting Trust: https://www.cs.c…
- Rust Compiler: https://github.com/rust-lang/rust/
- Porth Compiler: https://gitlab.com/tsoding/porth
- Porth Playlist: https://www.youtube.com/playlist?list=PLpM-Dvs8t0VbMZA7wW9aR3EtBqe2kinu4
- Reflection on Trusting Trust: https://www.cs.c…
❤2👎1
Forwarded from Just links
GPTZero finds 100 new hallucinations in NeurIPS 2025 accepted papers https://gptzero.me/news/neurips/
AI Detection Resources | GPTZero
GPTZero finds 100 new hallucinations in NeurIPS 2025 accepted papers
GPTZero's analysis 4841 papers accepted by NeurIPS 2025 show there are at least 100 with confirmed hallucinations
😱1😭1
Just links
GPTZero finds 100 new hallucinations in NeurIPS 2025 accepted papers https://gptzero.me/news/neurips/
To be emphasized these are accepted papers. Accepted by some of the most elite academics from the most elite companies or universities. Definitely we've made tremendous progress in intelligence, so much so that we are unable to distinguish it from useless hallucinations.
Imagine how much the average person is not being able to distinguish between stupid hallucinatory propaganda if these hyper-educated academics can't, in their own area of expertise.
Either that, or they were paid to accept these papers regardless. Both explanations denote the degradation of the already terrible state of academia. It's similar to the slop PRs free software maintainers have to spend time perusing through.
Imagine how much the average person is not being able to distinguish between stupid hallucinatory propaganda if these hyper-educated academics can't, in their own area of expertise.
Either that, or they were paid to accept these papers regardless. Both explanations denote the degradation of the already terrible state of academia. It's similar to the slop PRs free software maintainers have to spend time perusing through.
🔥3
This media is not supported in your browser
VIEW IN TELEGRAM
I sort of made a breakthrough, I originally thought this would be impossible but it eventually worked!
We now have a cursor for navigating the text in a document in Emacs Reader! And you can navigate entirely by keyboard!!
Right now in the demo below it can only emulate forward and backward movement, but I'll be implementing vertical movement. Not just that, you would be able to set marks and highlight just by your keyboard!
We now have a cursor for navigating the text in a document in Emacs Reader! And you can navigate entirely by keyboard!!
Right now in the demo below it can only emulate forward and backward movement, but I'll be implementing vertical movement. Not just that, you would be able to set marks and highlight just by your keyboard!
🎉6❤2🔥1
(φ (μ (λ)))
I sort of made a breakthrough, I originally thought this would be impossible but it eventually worked! We now have a cursor for navigating the text in a document in Emacs Reader! And you can navigate entirely by keyboard!! Right now in the demo below it…
A bit of history, once integrated Emacs Reader would be the only document reader inside Emacs, and actually beyond Emacs even to support a fully keyboard-driven document reader. Even zathura or sioyek only navigate the page, not at character, word or line level.
Notoriously there was a huge (3K!) LOC PR to pdf-tools to enable this, which implements exactly this but it never got merged:
https://github.com/vedang/pdf-tools/pull/39
Notoriously there was a huge (3K!) LOC PR to pdf-tools to enable this, which implements exactly this but it never got merged:
https://github.com/vedang/pdf-tools/pull/39
GitHub
Add keyboard navigation minor mode by orgtre · Pull Request #39 · vedang/pdf-tools
Introduces standard-Emacs-like concepts of point, mark, region, and cursor into
pdf-tools and uses these to implement keyboard-based navigation, selection, and
annotation in pdf files.
pdf-tools and uses these to implement keyboard-based navigation, selection, and
annotation in pdf files.
❤3🤔2