DSR enhanced security and "formal verification" course
- What languages for BigData and AI?
- Debian shootout benchmarks game
- About the inner complexity of programming languages
- Detailed analysis speed vs. memory vs. energy consumption
- Factor: Excellent, but outsider language
- Eiffel programming language
- Lesser Smalltalk, Object Arts Dolphin Smalltalk
- Pharo Smalltalk, the "Squeak professional"
- CUIS Smalltalk-80
What languages for BigData and AI?
'State of the art' immersive GUI programming Yuriy Tymchuk: Roassal https://youtube.com/watch?v=CuimMwuZiGA https://youtube.com/watch?v=IphXSTIfaY0 https://youtube.com/watch?v=kkFa4t5isYQ https://vimeo.com/141916068
Smalltalk has become 50 years old: https://youtube.com/watch?v=VSA_WFc1rl4
Start Smalltalk in your browser: https://squeak.js.org/
Roassal3D samples: https://youtube.com/watch?v=R2rLr7Z1b8Y
Sources: https://github.com/ObjectProfile/Roassal3
https://github.com/pharo-graphics/RoassalDocumentation/blob/master/documentation/Chart.md
Gource Demo development of Gtk3 the Linux GNOME desktop and Gimp ...
https://youtube.com/watch?v=aZf2g__6DkY
C++ sources: https://github.com/acaudwell/Gource
Sorry, I apologize: These demos are all 10 years old!
Debian shootout benchmarks game
Best overview: https://benchmarksgame-team.pages.debian.net/benchmarksgame/index.html
About the inner complexity of programming languages
https://benchmarksgame-team.pages.debian.net/benchmarksgame/how-programs-are-measured.html
Detailed analysis speed vs. memory vs. energy consumption
Overview: https://thenewstack.io/which-programming-languages-use-the-least-electricity/ Pharo Smalltalk with Roassal3D is not on the list! :-(
Newest paper: https://haslab.github.io/SAFER/scp21.pdf
Pereira's et. al. original analysis: https://greenlab.di.uminho.pt/wp-content/uploads/2017/09/paperSLE.pdf
Factor: Excellent, but outsider language
Factor: https://factorcode.org/
Parser combinator in Factor:
https://serokell.io/blog/how-to-implement-lr1-parser
Eiffel programming language
The Hoare calculus: https://en.wikipedia.org/wiki/Hoare_logic
Lesser Smalltalk, Object Arts Dolphin Smalltalk
Interpreter: https://github.com/dolphinsmalltalk/Dolphin
- Immersive programming Demo: https://youtube.com/watch?v=-rVgAr5M2hw
Smalltalk JIT Engine + c + fortran: https://www.lesser-software.com/en/content/products/lswvst/lswvst.htm
- Identital, but comes with JIT engine and C speed, literally!
- Uses native Windows 7-10 GUI, WINE ready!!!
Pharo Smalltalk, the "Squeak professional"
Pharo Smalltalk: https://pharo.org/ and https://thepharo.dev/blog-2/
- Bigest sponsors: EU Horizon 2000, French INRIA, Thales, Argentina, Uruguay
- Own, portable "Morphic" GUI with OpenGL, Vulkan acceleration
- GTK4 language bindings !!! (LINUX GNOME Desktop)
- Immersive programming Demo: https://youtube.com/watch?v=-rVgAr5M2hw
- The 60MB installer image contains everything: compiler, sources, docs!
- https://pharo.org/download and https://github.com/pharo-project/pharo
- Watch MOOCs on Youtube: https://m.youtube.com/@inrialearninglab
- Extremely popular in France, Switzerland, Argentinia, Uruguay
CUIS Smalltalk-80
- A very clean Smalltalk-80 with Nvidia Support: https://cuis.st/
- Accelerated Morphic GUI
- Remarkable: All is Vector Graphics, so no pixels, nowhere!
Back to last lesson - https://rentry.co/DSRsecuritycoursepart7 Next lesson: https://rentry.co/DSRsecuritycoursepart9