- Pharo-dev - lists.pharo.org

Re: Update Links on Pharo website

by Marcus Denker

Thanks a lot! I will review and merge the PRs ( They are here: https://github.com/pharo-project/pharo-site/pulls ) > On 6 Dec 2022, at 07:50, Pierre Misse Chanabier <pierre.misse-chanabier(a)inria.fr> wrote: > > Hello, > > I've noticed that a link to the pharo blog was missing & a user noticed the vision document link was broken. > I did a couple of quick PR to fix them. > > Pierre

Dec. 6, 2022

Update Links on Pharo website

by Pierre Misse Chanabier

Hello, I've noticed that a link to the pharo blog was missing & a user noticed the vision document link was broken. I did a couple of quick PR to fix them. Pierre

Dec. 6, 2022

Unsubscribe from pharo-dev user doesn't exist

by Juan Miguel Mora Carrera

Hi All. Sorry for the message totally unrelated to the topic, but it's been for a long time that I've been trying to unsubscribe from the list in this page: https://lists.pharo.org/empathy/list/pharo-dev.lists.pharo.org But it happens that my email account doesn't exist there, but still I'm receiving the emails. I guess my email got there via a migration from a previous list years ago. Please, could you tell me how might I unregister from the list? Thanks. Juan Miguel

Dec. 5, 2022

This week (48/2022) on the Pharo Issue Tracker.

by Marcus Denker

This week we merged 34 PRs. Features ======== - New refactoring changes preview presenter #11887 https://github.com/pharo-project/pharo/pull/11887 - Creating a method to print the "full" debug stack #11983 https://github.com/pharo-project/pharo/pull/11983 - 11544 enhance socket to show meaningful errors #11921 https://github.com/pharo-project/pharo/pull/11921 - Adding debugger extension visitor to display variables from extensions (as Chest) #402 https://github.com/pharo-spec/NewTools/pull/402 - add a Method Source View for Context #440 https://github.com/pharo-spec/NewTools/pull/440 Blocks ====== - Tests for clean and constant blocks #12015 https://github.com/pharo-project/pharo/pull/12015 - Support #isReturnSpecial on CompiledBlock #11987 https://github.com/pharo-project/pharo/pull/11987 - 11966-Implement-BlockClosurehomeMethod-without-using-home #12000 https://github.com/pharo-project/pharo/pull/12000 - StDebugger-stackSelectionMethodContext-homeMethod #445 https://github.com/pharo-spec/NewTools/pull/445 - use Context>>#homeMethod #12023 https://github.com/pharo-project/pharo/pull/12023 - 11967-Implement-findMethodContextSuchThat #12013 https://github.com/pharo-project/pharo/pull/12013 - ConstantBlock-fix-DebuggerTest #12024 https://github.com/pharo-project/pharo/pull/12024 Fixes ===== - 11844-Renaming-a-package-loses-all-the-package-extensions #11982 https://github.com/pharo-project/pharo/pull/11982 - [Compiler] fix code generation when compiling syntax errors: EnglobingError #11947 https://github.com/pharo-project/pharo/pull/11947 - fix var lookup in debugger when block pushed on stack #11989 https://github.com/pharo-project/pharo/pull/11989 - Fix print on recursive array #11916 https://github.com/pharo-project/pharo/pull/11916 - 11937-Cycling-of-Halos-does-not-work-anymore #12016 https://github.com/pharo-project/pharo/pull/12016 - Fixed #11946. Added SequenceableCollection>>truncatedToSize and a trait to test it #11988 https://github.com/pharo-project/pharo/pull/11988 - Fix: "Copy stack to clipboard" doesnt copy the whole stack #442 https://github.com/pharo-spec/NewTools/pull/442 Speed ===== - Fix slow execution time when using CharacterSet or CharacterSetCompleâ¦ #11991 https://github.com/pharo-project/pharo/pull/11991 - 12006-Performance-Regression-in-Fuel-Serialization-of-Blocks--CompiledMethods #12022 https://github.com/pharo-project/pharo/pull/12022 External Packages ================= - Updating version of tonel #12003 https://github.com/pharo-project/pharo/pull/12003 - Integrate Roassal3 v0.9.9k #12012 https://github.com/pharo-project/pharo/pull/12012 Cleanup Help ============ - Fix #11949 less help class #11950 https://github.com/pharo-project/pharo/pull/11950 - Fix spechelp problem #11999 https://github.com/pharo-project/pharo/pull/11999 - Fix 11994 Another pass to remove help classes. Waiting for the integrâ¦ #11996 https://github.com/pharo-project/pharo/pull/11996 - Removing help support #12001 https://github.com/pharo-project/pharo/pull/12001 - Removing remaing Help Topic references #444 https://github.com/pharo-spec/NewTools/pull/444 - remove help processor #443 https://github.com/pharo-spec/NewTools/pull/443 - remove Spec2-Help #1333 https://github.com/pharo-spec/Spec/pull/1333 Trival Cleanups =============== - Cleanup STON classes who show lint issue on categorization of #initiaâ¦ #11964 https://github.com/pharo-project/pharo/pull/11964 - add tag "system" #11985 https://github.com/pharo-project/pharo/pull/11985 - 12009-ProperMethodCategorizationTesttestNoUncategorizedMethods-fails-on-CI #12010 https://github.com/pharo-project/pharo/pull/12010 - Trivial-clean-Morph #12025 https://github.com/pharo-project/pharo/pull/12025

Dec. 2, 2022

Re: Digital Twin applied to Software

by Eliot Miranda

Hi Aik-Siong, the opensmalltalk-vm is such a digital twin, arguably a quadruplet :-). The vm is developed in Smalltalk, actually a subset called Slang. This is called âthe simulatorâ. The Slang Smalltalk code is then transpiled to C, (alongside C, Objective-C & C++ platform support code managed in git), to provide the production vm. The simulator and its resultant generated vm code contain assertions. These are always evaluated when simulating. But in the production vm we have three compilation levels, âproductionâ, level 2 optimized, assertions ifdeffed out, âassertâ, level 1 optimized, assertions included, and âdebugâ, no optimization, assertions included. The simulator is very powerful and a joy to use (see the two versions of âTwo Decades of Live Coding and Debugging of Virtual Machines through Simulation.â on https://squeak.org/research/) The debug vm is a few times slower than the production vm (but this is a weird comparison because they produce very similar JITted code, so JITted code is almost the same speed, but support code isnât) Two further examples of digital twins to observe in the simulator include âlemming debuggingâ, and meta circular plugins. Lemming debugging is duplicating the vm state before each GC, and performing the GC in the clone before in the original. So if the GC has a bug and corrupts the heap it does do in the clone and we still have the unscrambled original from which to clone again and repeat until we fix the bug. [and of course via fork it would be possible to write this in the production vm). Meta circular implementations of plugins, eg the socket plug-in, are those where a plug-in (a set of primitives, typically providing an interface to external functionality) in the simulator is implemented above the current vm. A plug-in primitive in the socket plug-in is typically a piece of glue code between the Smalltalk level and the platform support code implementing a socket operation on the current platform. The glue code is implemented in slang Smalltalk and is executed directly. The simulator then implements the platform support code used in simulation in terms of the real socket plug-in included in the host vm. Eliot _,,,^..^,,,_ (phone) > On Oct 28, 2022, at 12:25 PM, Aik-Siong Koh <askoh(a)askoh.com> wrote: > > ï»¿ Hi: > > I have a novel idea "Digital Twin applied to Software". See attached slides. > It points to the future of improved programming productivity and reliability. > Let me know what you think. > > Thanks, > Aik-Siong Koh > http://ar-cad.com > > > Abstract > > Digital Twin applied to Software > Aik-Siong Koh > askoh.com > > There has been a major dichotomy in computing right from the beginning: Statically Typed vs Dynamically Typed programming languages. The former languages produce fast executables but are inflexible to program. The latter are just the converse. This dichotomy has been frustrating to programmers who always feel they have to make sacrifices when making a choice. It also often leads to futile language wars. The Digital Twin concept was introduced in engineering where a physical system is modeled digitally in geometry, simulation and other information. The concept has proven so successful that it is being applied to almost everything in engineering from simple mouse traps to complex whole cities. It occurred to the author that this concept can be extended to software too. For example, execution in C++ is famously fast. But development in C++ is notoriously difficulty because of language complexity and long build times. A flexible digital twin can be a program written in Smalltalk which is famous for live programming. "Development at the speed of thought" is the motto and is real. What is gained by this duplication? Firstly, the flexible twin can be use to explore new algorithms, features, solutions and fix bugs quickly. Only desired codes are translated to C++ manually or automatically. Secondly, the two programs can check each other so that bugs are reduced significantly. These two gains will define future programming productivity and quality. The Digital Twin concept will also drive the automatic translation of the flexible language to the fast language. > > > Bio > > Dr Aik-Siong Koh has a PhD from The University of Texas at Austin where he programed in FORTRAN to simulation mechanical systems. While teaching at Texas Tech University and Nanyang Technological University, he developed interest in Multibody Dynamics. To develop his own Multibody Dynamics simulator, he researched for the most productive programming language and discovered Smalltalk. The live programming capabilities of Smalltalk permitted him to build a successful simulator which he then proceeded to commercialize. His later experience with C++ at Mechanical Dynamics and MathWorks gave him the idea of Digital Twin for Software.

Nov. 30, 2022

Re: Digital Twin applied to Software

by Pierre Misse-Chanabier

Hello, Slides are indeed better. There is one mistake though, Slide 26: PharoJS does define a smalltalk VM. They reuse the target environment JS VM, and send generate the runtime that they use (*very* basically). My main reserve is the feasability of this approach. Unless you scope it to specific contexts. Maintaining one application is diffficult, maintaining 2 is harder. Plus, it requires experts in both languages. Generating from one to the other has a number of challenges (as we talked about already) IMO, that is the root of the problem, and the main problem to address. The slide are pretty convincing for the rest of the problem :) Pierre On 30/11/2022 08:09, Aik-Siong Koh wrote: > I have updated my slides based on the many feedback. > Digital Twin is better defined and how that helps productivity is > elaborated. > Thanks. > http://askoh.com/twin/DigitalTwinsCppSt20221129.pdf > > > Aik-Siong Koh wrote: >> Hi: >> >> I have a novel idea "Digital Twin applied to Software". See attached >> slides. >> It points to the future of improved programming productivity and >> reliability. >> Let me know what you think. >> >> Thanks, >> Aik-Siong Koh >> http://ar-cad.com >> >> >> Abstract >> >> Digital Twin applied to Software >> Aik-Siong Koh >> askoh.com >> >> There has been a major dichotomy in computing right from the >> beginning: Statically Typed vs Dynamically Typed programming >> languages. The former languages produce fast executables but are >> inflexible to program. The latter are just the converse. This >> dichotomy has been frustrating to programmers who always feel they >> have to make sacrifices when making a choice. It also often leads to >> futile language wars. The Digital Twin concept was introduced in >> engineering where a physical system is modeled digitally in geometry, >> simulation and other information. The concept has proven so >> successful that it is being applied to almost everything in >> engineering from simple mouse traps to complex whole cities. It >> occurred to the author that this concept can be extended to software >> too. For example, execution in C++ is famously fast. But development >> in C++ is notoriously difficulty because of language complexity and >> long build times. A flexible digital twin can be a program written in >> Smalltalk which is famous for live programming. "Development at the >> speed of thought" is the motto and is real. What is gained by this >> duplication? Firstly, the flexible twin can be use to explore new >> algorithms, features, solutions and fix bugs quickly. Only desired >> codes are translated to C++ manually or automatically. Secondly, the >> two programs can check each other so that bugs are reduced >> significantly. These two gains will define future programming >> productivity and quality. The Digital Twin concept will also drive >> the automatic translation of the flexible language to the fast language. >> >> >> Bio >> >> Dr Aik-Siong Koh has a PhD from The University of Texas at Austin >> where he programed in FORTRAN to simulation mechanical systems. While >> teaching at Texas Tech University and Nanyang Technological >> University, he developed interest in Multibody Dynamics. To develop >> his own Multibody Dynamics simulator, he researched for the most >> productive programming language and discovered Smalltalk. The live >> programming capabilities of Smalltalk permitted him to build a >> successful simulator which he then proceeded to commercialize. His >> later experience with C++ at Mechanical Dynamics and MathWorks gave >> him the idea of Digital Twin for Software. >

Nov. 30, 2022

Re: Digital Twin applied to Software

by Aik-Siong Koh

I have updated my slides based on the many feedback. Digital Twin is better defined and how that helps productivity is elaborated. Thanks. http://askoh.com/twin/DigitalTwinsCppSt20221129.pdf Aik-Siong Koh wrote: > Hi: > > I have a novel idea "Digital Twin applied to Software". See attached > slides. > It points to the future of improved programming productivity and > reliability. > Let me know what you think. > > Thanks, > Aik-Siong Koh > http://ar-cad.com > > > Abstract > > Digital Twin applied to Software > Aik-Siong Koh > askoh.com > > There has been a major dichotomy in computing right from the > beginning: Statically Typed vs Dynamically Typed programming > languages. The former languages produce fast executables but are > inflexible to program. The latter are just the converse. This > dichotomy has been frustrating to programmers who always feel they > have to make sacrifices when making a choice. It also often leads to > futile language wars. The Digital Twin concept was introduced in > engineering where a physical system is modeled digitally in geometry, > simulation and other information. The concept has proven so successful > that it is being applied to almost everything in engineering from > simple mouse traps to complex whole cities. It occurred to the author > that this concept can be extended to software too. For example, > execution in C++ is famously fast. But development in C++ is > notoriously difficulty because of language complexity and long build > times. A flexible digital twin can be a program written in Smalltalk > which is famous for live programming. "Development at the speed of > thought" is the motto and is real. What is gained by this duplication? > Firstly, the flexible twin can be use to explore new algorithms, > features, solutions and fix bugs quickly. Only desired codes are > translated to C++ manually or automatically. Secondly, the two > programs can check each other so that bugs are reduced significantly. > These two gains will define future programming productivity and > quality. The Digital Twin concept will also drive the automatic > translation of the flexible language to the fast language. > > > Bio > > Dr Aik-Siong Koh has a PhD from The University of Texas at Austin > where he programed in FORTRAN to simulation mechanical systems. While > teaching at Texas Tech University and Nanyang Technological > University, he developed interest in Multibody Dynamics. To develop > his own Multibody Dynamics simulator, he researched for the most > productive programming language and discovered Smalltalk. The live > programming capabilities of Smalltalk permitted him to build a > successful simulator which he then proceeded to commercialize. His > later experience with C++ at Mechanical Dynamics and MathWorks gave > him the idea of Digital Twin for Software.

Nov. 30, 2022

Re: This week (46/2022) on the Pharo Issue Tracker

by Marcus Denker

Hi T > On 18 Nov 2022, at 12:09, Tim Mackinnon <tim(a)testit.works> wrote: > > Wow - thats even neater... all done with our normal tools - on the fly. So cool. Not sure many environments/languages can reason about things in this way. > > Worthy of a blog post for the wider world I would say - as this kind of stuff should be on more people's radars. Yes, I will do that. > > Thanks again for all this kind of work. It would be so easy to just continue to think the job was done 20 years ago, where in fact we've only scratched the surface as our understanding of effective software development has improved. > Thanks. Sometimes I think my problem was that when I discovered Smalltalk I did *not* see perfection in it but an interesting starting pointâ¦ Marcus

Nov. 25, 2022

Improved Inspectors for Blocks

by Marcus Denker

The inspectors for blocks are now a bit improved: 1) CompiledBlock. This now is more in sync with CompiledMethod and shows - the homew method code with the block highlighted - the AST of the block - the IR if the block Currently, we compile every non-optimized block to a full block that created by a bytecode from a CompiledBlock (which itself is stored as a literal). inspect âCompiledBlock allInstancesâ to see the new inspector: 2) BlockClosure itself, e.g inspect some block in the workspace. This gets more important as we soon will have pre-compiled subclasses of BlockClosure as method literals (and then just execute pushLiteral: to âcreateâ the block). A nice way to play with these is: CompilationContext optionConstantBlockClosure: true. OpalCompiler recompileAll. some 2500 of the blocks are now compiled statically. Inspect: ConstantBlockClosure allSubInstances The inspector shows the same (home method with highlight, IR, AST) But we can do even better: CompilationContext optionCleanBlockClosure: true. OpalCompiler recompileAll. Another 7500 blocks can be statically compiled, inspect CleanBlockClosure allInstances These are not yet the default, as we have to carefully analyse the places where we now assume that blocks know the outerContext and receiver. (in the example above you see one of these: Announcementsâ¦). You can follow these issues to see what still needs to be done: [Meta] Steps needed for ConstantBlocks #11933 https://github.com/pharo-project/pharo/issues/11933 [Meta] Steps needed for CleanBlocks #11195 https://github.com/pharo-project/pharo/issues/11195 Marcus

Nov. 25, 2022

This week (47/2022) on the Pharo Issue Tracker.

by Marcus Denker

We merge 33 PRs this week. Features / Enhancements ========= - Introducing new icons #11896 https://github.com/pharo-project/pharo/pull/11896 - Enhancement: PackageManifest with an own system icon #11956 https://github.com/pharo-project/pharo/pull/11956 - ReNotOptimizedIfNilRule #11932 https://github.com/pharo-project/pharo/pull/11932 - Sync #basicInspect and inspect #11899 https://github.com/pharo-project/pharo/pull/11899 Blocks / Compiler ======= Constant blocks now implement correct error handling wrt to number of arguments, we now have an option to enable compiling constant block (#optionConstantBlockClosure) and can recompile the whole system with compiling constant blocks. - 11912-Compiler-add-option-for-constant-blocks #11927 https://github.com/pharo-project/pharo/pull/11927 - Blocks: pcInOuter-not-Debugging #11951 https://github.com/pharo-project/pharo/pull/11951 - Class comments for Compiler classes (mostly exceptions) #11948 https://github.com/pharo-project/pharo/pull/11948 - Some smaller fixes/cleanups related to Blocks #11936 https://github.com/pharo-project/pharo/pull/11936 - Context-print-no-isClean-check #11922 https://github.com/pharo-project/pharo/pull/11922 - 11901-ConstantBlockClosure-raise-error-if-called-with-wrong-number-of-args #11919 https://github.com/pharo-project/pharo/pull/11919 - Better-CompiledCode-Inspector: highlight in source #436 https://github.com/pharo-spec/NewTools/pull/436 - Inspect-CompiledBlock-IR #435 https://github.com/pharo-spec/NewTools/pull/435 Fixes ===== - fix OSWIndowDriver shutdown while saving #11831 https://github.com/pharo-project/pharo/pull/11831 - do not rebuild all Calypso tools at each selection change #11952 https://github.com/pharo-project/pharo/pull/11952 - EpHasImpactVisitor>>visitProtocolRemoval: handle protocols that only contain trait methods. #11942 https://github.com/pharo-project/pharo/pull/11942 - RubTextEditor: Bind the MENU key to open the context menu #11659 https://github.com/pharo-project/pharo/pull/11659 - Fixes #11925, ExternalBrowser does not show class definition from ST files Bug #11929 https://github.com/pharo-project/pharo/pull/11929 - 11762 cannot view st file content with code file browser #11924 https://github.com/pharo-project/pharo/pull/11924 - Fix debugger to update debugger extensions when a context is selected in the stack + fixing bytecode extension #405 https://github.com/pharo-spec/NewTools/pull/405 Git Support ========== - Forget repository iceberg error on windows #1633 https://github.com/pharo-vcs/iceberg/pull/1633 - Fixing the error handling. #1631 https://github.com/pharo-vcs/iceberg/pull/1631 - Migrate GT inspector extensions to new tools model #1630 https://github.com/pharo-vcs/iceberg/pull/1630 CI Setup ======== - Fixing runKernelTests to make it work with alternating VMs #11935 https://github.com/pharo-project/pharo/pull/11935 - Improve bootstrap.sh #11824 https://github.com/pharo-project/pharo/pull/11824 Cleanup ======= - Remove old comment editors #11945 https://github.com/pharo-project/pharo/pull/11945 - Cleanup on The package TestRunner #11509 https://github.com/pharo-project/pharo/pull/11509 Trivial Cleanups =============== - Cleanup TypingVisitor>>#initialize method category #11958 https://github.com/pharo-project/pharo/pull/11958 - Clenaup MemoryLogger>>#initialize #11962 https://github.com/pharo-project/pharo/pull/11962 - Cleanup: Fix lint TFTestCallbackExceptionHandler>>#initialize #11960 https://github.com/pharo-project/pharo/pull/11960 - simplify some users of #ifNil:ifNotNil: to use not nil arg #11930 https://github.com/pharo-project/pharo/pull/11930 - Use-optimizable-ifTrue #11923 https://github.com/pharo-project/pharo/pull/11923 - remove the unused <return:> pragma in spotter #434 https://github.com/pharo-spec/NewTools/pull/434 - avoid #asSymbol for the defaultFont. fixes #1329 #1330 https://github.com/pharo-spec/Spec/pull/1330

Nov. 25, 2022